Theorem Sylow.stabilizer_eq_normalizer

Modification history