Def CategoryTheory.Limits.PullbackCone.eta

Modification history

2024-07-11 10:12

Mathlib/CategoryTheory/Limits/Shapes/Pullback/PullbackCone.lean

feat(Limits/Shapes/Pullback): Add API and golf proofs (#14524) …

Added CategoryTheory.Limits.PullbackCone.eta View on Github →