Theorem Subalgebra.star_adjoin_comm

Modification history