Theorem Subalgebra.coe_star

Modification history