Skip to content
GitLab
Explore
Sign in
Philip KALUĐERČIĆ
Algebra of Programming summary
Repository
Branches
Overview
Active
Stale
All
Active branches
master
default
protected
3bcd0a36
·
Define full and faithful wrt. the morphism map of F
·
Apr 10, 2024