Theorem Algebra.Norm.Transitivity.det_mul_corner_pow

Modification history