Theorem Finset.disjUnion_inj_right

Modification history

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