Implication Details

Assumptions: filtered colimits, subobject-trivial

Conclusions: filtered-colimit-stable monomorphisms

Reason: This is trivial.