Theorem PGame.equiv_congr_left

Modification history