Theorem algebraicClosure.le_restrictScalars

Modification history