Theorem CategoryTheory.Sieve.functorPullback_arrows

Modification history