Theorem IsSeparable.of_equiv_equiv

Modification history