Theorem CategoryTheory.Functor.isContinuous_of_preservesOneHypercovers

Modification history