Def CategoryTheory.Functor.IsCoverDense.isoOver

Modification history