Theorem Set.disjoint_image_right

Modification history

2025-06-04 12:09
Mathlib/Data/Set/Image.lean
feat(RingTheory/Dimension): Upper bound of dimension of polynomial ring (#25201) …
Added Set.disjoint_image_rightView on Github →