Theorem CategoryTheory.Sieve.galoisConnection

Modification history