mathlib3
e61ce5dc - chore(category_theory/limits): dualize strong_epi (#11783)

Commit

3 years ago

chore(category_theory/limits): dualize strong_epi (#11783)

Author

TwoFX

TwoFX

Parents

Loading