Def LieRingModule.compLieHom

Modification history

2023-07-27 15:45

Mathlib/Algebra/Lie/Basic.lean

feat: Linter that checks that Prop classes are Props (#6148)

Modified LieRingModule.compLieHom View on Github →

2023-02-27 13:06

Mathlib/Algebra/Lie/Basic.lean

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

Added LieRingModule.compLieHom View on Github →