Theorem FdRep.Iso.conj_ρ

Modification history