Theorem SetTheory.PGame.le_congr_imp

Modification history