Theorem FDRep.endRingEquiv_symm_comp_ρ

Modification history