Theorem Subalgebra.coe_toSubring

Modification history