Commit 2026-08-10 08:17 06db9b26
View on Github →chore(CategoryTheory/Functor/EpiMono): use to_dual (#41015)
This PR uses to_dual to translate some declarations about Epimorphisms and Monomorphisms. Various prerequisites have also been tagged in this PR.
The namespace of some lemmas has been fixed that should have been capitalized.
A few lemmas about Epimorphisms didn't have a corresponding Monomorphisms version, so they have been added in this PR.