Theorem PerfectPairing.toDualRight_symm_comp_toDualLeft

Modification history