Skip to content
Ubuntu build

[ refactor ] make Relation.Binary.Morphism.Definitions obsolete #5378

Sign in to view logs

[ refactor ] make Relation.Binary.Morphism.Definitions obsolete

[ refactor ] make Relation.Binary.Morphism.Definitions obsolete #5378

test-stdlib

test-stdlib
succeeded Jan 24, 2026 in 40m 33s