Mathlib v3 is deprecated. Go to Mathlib v4

Theorem subalgebra.alg_equiv.subsingleton_left

Modification history

2021-06-30 16:49
src/algebra/algebra/subalgebra.lean
fix(algebra/algebra/subalgebra): fix incorrect namespaces and remove duplicate instance (#8140) …
Deleted subalgebra.alg_equiv.subsingleton_leftView on Github →
2021-02-11 00:37
src/algebra/algebra/subalgebra.lean
feat(algebra/subalgebra): Trivial subalgebra has trivial automorphism group (#5672) …
Added subalgebra.alg_equiv.subsingleton_leftView on Github →