Theorem CategoryTheory.epi_of_epi_fac

Modification history

2025-12-23 14:13

Mathlib/CategoryTheory/Category/Basic.lean

feat(CategoryTheory/Category/Basic): use `to_dual` (#33146) …

Modified CategoryTheory.epi_of_epi_fac View on Github →

2022-12-01 15:35

Mathlib/CategoryTheory/Category/Basic.lean

port: several files from category_theory (#749) …

Added CategoryTheory.epi_of_epi_fac View on Github →