Theorem PerfectPairing.toDualRight_apply

Modification history