Mathlib Changelog
v4
Changelog
About
Github
Theorem
Finpartition.mem_part_ofSetSetoid_iff_rel
Modification history
2025-04-09 02:01
Mathlib/Order/Partition/Finpartition.lean
feat(Finpartition): ofSetSetoid (#22527) …
Added
Finpartition.mem_part_ofSetSetoid_iff_rel
View on Github →