Def Algebra.elementalAlgebra

Modification history

2024-11-07 23:49

Mathlib/Topology/Algebra/Algebra.lean

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

Deleted Algebra.elementalAlgebra View on Github →

2023-04-05 08:46

Mathlib/Topology/Algebra/Algebra.lean

feat: port Topology.Algebra.Algebra (#3271)

Added Algebra.elementalAlgebra View on Github →