Theorem PerfectPairing.reflexive_left

Modification history