Theorem CategoryTheory.Sieve.functorPushforward_extend_eq

Modification history