Theorem CategoryTheory.Functor.quasiIso'_of_map_quasiIso'

Modification history