Theorem algebraicClosure_toSubalgebra

Modification history