Theorem LieIdeal.idealizer_eq_normalizer

Modification history