Mathlib v3 is deprecated. Go to Mathlib v4

Theorem abs_coe_circle

Modification history

2021-12-26 05:05
src/analysis/complex/circle.lean
chore(analysis/complex/circle): minor review (#11059) …
Added abs_coe_circleView on Github →