Def Finpartition.ofSetSetoid

Modification history

2025-04-09 02:01
Mathlib/Order/Partition/Finpartition.lean
feat(Finpartition): ofSetSetoid (#22527) …
Added Finpartition.ofSetSetoidView on Github →