Theorem Subalgebra.coe_inclusion

Modification history