Theorem EuclideanGeometry.inversion_def

Modification history

2024-03-21 15:28
Mathlib/Geometry/Euclidean/Inversion/Basic.lean
chore: work around simp issues in future nightlies (#11546)
Added EuclideanGeometry.inversion_defView on Github →