Theorem isConj_iff_conjugatesOf_eq

Modification history