Theorem PerfectPairing.toDualRight_symm_toDualLeft

Modification history