Def Circle.centeredArc

Modification history

2026-07-24 07:15
Mathlib/Analysis/SpecialFunctions/Complex/Circle.lean
chore: add missing `noncomputable` (#41446) …
Deleted Circle.centeredArcView on Github →
2026-06-14 04:43
Mathlib/Analysis/SpecialFunctions/Complex/Circle.lean
feat(Topology/Algebra/PontryaginDual): prove compact monoids have discrete duals (#38669) …
Added Circle.centeredArcView on Github →