Revision #2914 → #3227 · back to history
178b9d92892e| Field | From #2914 | To #3227 |
|---|---|---|
| mathlib.decl | Nat.succ_mul_choose_eq | Nat.add_one_mul_choose_eq |
| provenance | ai | ai-moderated |
bad467f0f3c9| Field | From #2914 | To #3227 |
|---|---|---|
| mathlib.decl | Finset.Colex | Colex |
| provenance | ai | ai-moderated |