Theorem Subalgebra.isField_of_algebraic

Modification history