Mathlib v3 is deprecated. Go to Mathlib v4

Theorem odd.geom_sum_pos

Modification history

2022-05-22 17:01
src/algebra/geom_sum.lean
chore(algebra/geom_sum): rename to odd.geom_sum_pos (#14264) …
Added odd.geom_sum_posView on Github →