Theorem Function.Injective.map_count_le

Modification history

2026-03-06 09:14
Mathlib/MeasureTheory/Measure/Count.lean
feat: lemmas about `Measure.count` (#36205) …
Added Function.Injective.map_count_leView on Github →