Theorem Subalgebra.starClosure_eq_adjoin

Modification history