Commit 2023-08-31 06:59 5fdbb6a3
View on Github →feat: some instances for effective epimorphic families (#6879) We provide some instances for effective epimorphic families whose coproduct exists.
feat: some instances for effective epimorphic families (#6879) We provide some instances for effective epimorphic families whose coproduct exists.