Def Subalgebra.starClosure

Modification history

2023-07-28 22:33

Mathlib/Algebra/Star/Subalgebra.lean

refactor: link the Stone-Weierstrass theorem to the `StarSubalgebra` API (#5267) …

Modified Subalgebra.starClosure View on Github →

2023-03-12 21:48

Mathlib/Algebra/Star/Subalgebra.lean

feat: port Algebra.Star.Subalgebra (#2819) …

Added Subalgebra.starClosure View on Github →