Theorem Subalgebra.starClosure_toSubalgebra

Modification history