Mathlib Changelog v4

Changelog About Github

Theorem LieModuleHom.sub_apply

Modification history

2023-02-27 13:06

Mathlib/Algebra/Lie/Basic.lean

feat: port Algebra.Lie.Basic (#2262)

Added LieModuleHom.sub_apply View on Github →