Def elementalStarAlgebra

Modification history

2024-11-07 23:49

Mathlib/Topology/Algebra/StarSubalgebra.lean

chore: rename `elementalStarAlgebra` and parallelize API (#18664) …

Deleted elementalStarAlgebra View on Github →

2023-04-07 10:08

Mathlib/Topology/Algebra/StarSubalgebra.lean

feat: port Topology.Algebra.StarSubalgebra (#3319)

Added elementalStarAlgebra View on Github →