Theorem Fin.le_sub_one_iff

Modification history