Theorem PerfectPairing.reflexive_right

Modification history