Theorem PerfectPairing.toDualLeft_apply

Modification history