Theorem CategoryTheory.Limits.PreservesLimit.mk'

Modification history

2026-05-20 14:58

Mathlib/CategoryTheory/Limits/Preserves/Basic.lean

chore(CategoryTheory/Limits): preservation of pullbacks in terms of `IsPullback` (#39595)

Added CategoryTheory.Limits.PreservesLimit.mk'View on Github →