Theorem TopCat.PrelocalPredicate.sheafify_inductionOn

Modification history