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
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