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.

Estimated changes