Theorem Algebra.IsSeparable.of_equiv_equiv

Modification history