Theorem FDRep.endMulEquiv_symm_comp_ρ

Modification history