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
.