Theorem Fin.lt_sub_one_iff

Modification history