Revision #1414 → #2613 · back to history
6ca69e9ebd67| Field | From #1414 | To #2613 |
|---|---|---|
| mathlib.decl | DivInvMonoid.zpow | ZPow.zpow |
| provenance | ai | ai-moderated |
448b38514788| Field | From #1414 | To #2613 |
|---|---|---|
| mathlib.decl | MonObj | CategoryTheory.MonObj |
| provenance | ai | ai-moderated |