Theorem PGame.lf_irrefl

Modification history