Theorem PGame.lf_congr_imp

Modification history