Theorem Algebra.Norm.Transitivity.comp_det_mul_pow

Modification history