Mathlib v3 is deprecated. Go to Mathlib v4

Theorem conformal_at.conformal_factor_at_inner_eq_mul_inner

Modification history