Theorem CategoryTheory.ι_preservesColimitsIso_inv

Modification history