Theorem PSet.lt_rank_iff

Modification history