PR !4#13428: feat (RingTheory/Binomial) : Multichoose lem...

Stream: triage

[Random Issue Bot]

Today I chose PR 13428 for discussion!

feat (RingTheory/Binomial) : Multichoose lemmata
Created by @Scott Carnahan (@ScottCarnahan) on 2024-05-31
Labels: awaiting-review, t-algebra

Is this PR still relevant? Any recent updates? Anyone making progress?

[Kevin Buzzard]

This PR looks very mergeable to me. Scott I left a minor comment and delegated.

[Scott Carnahan]

Thank you! It's merged now.