Theorem Finset.disjUnion_inj_left

Modification history

2025-09-30 11:00
Mathlib/Data/Finset/Disjoint.lean
feat(Finset/Interval): improve computation performance (#30078) …
Added Finset.disjUnion_inj_leftView on Github →