Theorem Subalgebra.coe_val

Modification history