Commit 2022-04-10 23:04 be22d07e
View on Github →feat(data/sym/basic): some basic lemmas in preparation for stars and bars (#12479) Some lemmas extracted from @huynhtrankhanh's #11162, moved here to a separate PR
feat(data/sym/basic): some basic lemmas in preparation for stars and bars (#12479) Some lemmas extracted from @huynhtrankhanh's #11162, moved here to a separate PR