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.
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.