Theorem PerfectPairing.apply_toDualLeft_symm_apply

Modification history