Theorem CategoryTheory.Sieve.functorPullback_id

Modification history