Theorem Finpartition.mem_part_iff_exists

Modification history

2025-03-08 18:10
Mathlib/Order/Partition/Finpartition.lean
chore(Finpartition): review API, golf (#21551)
Added Finpartition.mem_part_iff_existsView on Github →