Theorem Fin.val_eq_zero_iff

Modification history