arend-lib icon indicating copy to clipboard operation
arend-lib copied to clipboard

Published 20 hours ago • verified publisher icon JetBrains

Regular monomorphisms are stable under pullbacks

Open bakinovsky-m opened this issue 5 months ago • 0 comments

Closes #44

bakinovsky-m avatar Sep 22 '24 09:09 bakinovsky-m