Def CategoryTheory.Limits.Cone.extInv

Modification history

2026-07-08 18:17
Mathlib/CategoryTheory/Limits/Cones.lean
feat(Translate): validate all translations (#40365) …
Added CategoryTheory.Limits.Cone.extInvView on Github →