Theorem PGame.lt_congr_imp

Modification history