Theorem CategoryTheory.Localization.Construction.whiskerLeft_natTransExtension

Modification history

2025-04-06 04:34
Mathlib/CategoryTheory/Localization/Construction.lean
chore: move `batteries` and `plausible` back to `main` (#23689) …
Added CategoryTheory.Localization.Construction.whiskerLeft_natTransExtensionView on Github →