Theorem Subalgebra.algebraicClosure_eq_integralClosure

Modification history