Def CategoryTheory.Functor.toEventualRangesSectionsEquiv

Modification history

2023-05-15 10:06

Mathlib/CategoryTheory/CofilteredSystem.lean

feat: port CategoryTheory.CofilteredSystem (#3977)

Added CategoryTheory.Functor.toEventualRangesSectionsEquiv View on Github →