Commit 2025-04-09 02:01 0b4af429
View on Github →feat(Finpartition): ofSetSetoid (#22527)
Allows for Finpartition to act on a specific set, and makes the ofSetoid definition the universal case of ofSetSetoid.
Motivation: Partitioning a domineering board into continuous components while preserving Repr.