Theorem PGame.lt_congr

Modification history