Theorem Submodule.setLike.coe_galgebra_toFun

Modification history