Mathlib v3 is deprecated. Go to Mathlib v4

Theorem euclidean_geometry.cospherical.two_zsmul_oangle_eq

Modification history