Theorem PSet.rank_insert

Modification history