topos icon indicating copy to clipboard operation
topos copied to clipboard

Published 20 hours ago • verified publisher icon b-mehta

reflexive coequalizers

Open b-mehta opened this issue 4 years ago • 0 comments

More fun with the (co)limits API! See over.lean for why we should have this.

b-mehta avatar Feb 25 '20 11:02 b-mehta