Theorem LocallyFinite.sumElim

Modification history

2025-02-20 18:07

Mathlib/Topology/LocallyFinite.lean

chore: rename some more `Foo.sum_elim` -> `sumElim` (#22130)

Added LocallyFinite.sumElim View on Github →