Revision #1021 → #2521 · back to history
1bab5054bc9a| Field | From #1021 | To #2521 |
|---|---|---|
| mathlib.decl | treesOfNumNodesEq_card_eq_catalan | BinaryTree.treesOfNumNodesEq_card_eq_catalan |
| provenance | ai | ai-moderated |
697248b5d565| Field | From #1021 | To #2521 |
|---|---|---|
| mathlib.decl | Category.assoc | CategoryTheory.Category.assoc |
| provenance | ai | ai-moderated |