Theorem PSet.rank_eq_wfRank

Modification history