Theorem CategoryTheory.Sieve.functor_galoisConnection

Modification history