Theorem strongRankCondition_iff_succ

Modification history