Def algebra.elemental_algebra

Modification history

2022-04-12 08:46

src/topology/algebra/algebra.lean

feat(topology/algebra/algebra): define the topological subalgebra generated by an element (#13093) …

Added algebra.elemental_algebra View on Github →