Theorem CategoryTheory.MorphismProperty.arrow_mk_mem_toSet_iff

Modification history

2025-02-03 05:29
Mathlib/CategoryTheory/MorphismProperty/Basic.lean
feat(CategoryTheory): the class of morphisms given by a family of maps (#21354) …
Added CategoryTheory.MorphismProperty.arrow_mk_mem_toSet_iffView on Github →