Theorem PSet.rank_congr

Modification history