Commit 2024-02-06 07:47 3fea559c

View on Github →

chore(Algebra/Category): Fintype -> Finite (#10290)

Estimated changes