Theorem FDRep.endMulEquiv_comp_ρ

Modification history