Theorem FDRep.Iso.conj_ρ

Modification history