Theorem CategoryTheory.Functor.quasiIso_of_map_quasiIso

Modification history