Commit 2023-09-26 11:46 4d91cd8b

View on Github →

feat: lemmas about finset (#7337) From the marginal project

Estimated changes