Theorem LieModuleHom.coe_toLinearMap

Modification history