Theorem Algebra.Norm.Transitivity.eval_zero_comp_det

Modification history