Theorem CategoryTheory.Sieve.functorPullback_bot

Modification history