Theorem SetTheory.PGame.lt_congr_left

Modification history