Theorem Sylow.conj_eq_normalizer_conj_of_mem_centralizer

Modification history