Commit 2026-02-13 13:13 2598404f

View on Github →

chore: use instance keyword for Unique.fintype (#35242)

Estimated changes

deleted def Unique.fintype