Theorem Fin.rev_lt_iff

Modification history