Theorem CategoryTheory.Sieve.functorPullback_inter

Modification history