Mathlib v3 is deprecated. Go to Mathlib v4

Theorem subsingleton.conformal_at

Modification history

2022-04-08 06:14
src/analysis/calculus/conformal/normed_space.lean
refactor(analysis/normed_space/conformal_linear_map): redefine (#13143) …
Added subsingleton.conformal_atView on Github →