Theorem lie_lie

Modification history

2024-03-23 16:05

Mathlib/Algebra/Lie/Basic.lean

chore: Rename `mul`-`div` cancellation lemmas (#11530) …

Modified lie_lie View on Github →

2023-02-27 13:06

Mathlib/Algebra/Lie/Basic.lean

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

Added lie_lie View on Github →