Mathlib v3 is deprecated. Go to Mathlib v4

Theorem function.surjective.is_engelian

Modification history

2022-02-10 10:46

src/algebra/lie/engel.lean

feat(algebra/lie/engel): add proof of Engel's theorem (#11922)

Added function.surjective.is_engelian View on Github →