Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2021-02-11 00:37 19f24ced

View on Github →

feat(algebra/subalgebra): Trivial subalgebra has trivial automorphism group (#5672) Adds a lemma stating that if top=bot in the subalgebra type then top=bot in the subgroup type.

Estimated changes