Mathlib Changelog v4

Changelog About Github

Theorem LieModuleHom.add_apply

Modification history

2023-02-27 13:06

Mathlib/Algebra/Lie/Basic.lean

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

Added LieModuleHom.add_apply View on Github →