Theorem PerfectPairing.bijective_toDualRight_symm_toDualLeft

Modification history