]> matita.cs.unibo.it Git - helm.git/tree
The first omomorphism theorem for whole sets (i.e. setoids + morphisms, not
drwxr-xr-x - helm