Commit 2024-06-17 11:31 bdd39e92

View on Github →

feat(Data/Fintype/Basic): Finset.univ_map_subtype lemmas (#12903) Discussion: https://leanprover.zulipchat.com/#narrow/stream/217875-Is-there-code-for-X.3F/topic/Finset.2Euniv.2Esum.20split

Estimated changes