Mathlib v3 is deprecated. Go to Mathlib v4

Structure subalgebra

Modification history

2020-10-06 12:41

src/algebra/algebra/basic.lean

chore(algebra/algebra): Split subalgebras into their own file (#4471) …

Modified subalgebra View on Github →

2019-01-27 22:50

src/ring_theory/algebra.lean

feat(ring_theory/algebra): make algebra a class

Modified subalgebra View on Github →

2019-01-27 22:50

src/ring_theory/algebra.lean

feat(ring_theory/algebra): define algebra over a commutative ring

Added subalgebra View on Github →