Theorem Fin.val_pos_iff

Modification history