Prove that regular monomorphisms are stable under pullbacks #44
Description
This is Category.Limit/regularMono_pullback. This should be straightforward.
{{ message }}
This is Category.Limit/regularMono_pullback. This should be straightforward.