Theorem TopCat.PrelocalPredicate.sheafify_inductionOn₂

Modification history