Theorem Subalgebra.isIntegral_iff

Modification history