Theorem CategoryTheory.CoverDense.iso_of_restrict_iso

Modification history