Theorem algebraicClosure.eq_restrictScalars_of_isAlgebraic

Modification history