Def CategoryTheory.Sieve.galoisCoinsertionOfMono

Modification history