Theorem NonUnitalAlgebra.top_toSubring
Modification history
2023-11-04 00:57
Mathlib/Algebra/Algebra/NonUnitalSubalgebra.lean
chore(Algebra/Algebra/NonUnitalSubalgebra): generalize lemmas to non-associative cases (#8147) …
Modified NonUnitalAlgebra.top_toSubringView on Github →