Theorem Subalgebra.inv_mem_of_algebraic

Modification history