Theorem UnitAddCircle.norm_eq

Modification history

2023-05-16 15:19

Mathlib/Analysis/Normed/Group/AddCircle.lean

feat: port Analysis.Normed.Group.AddCircle (#4023)

Added UnitAddCircle.norm_eq View on Github →