comp.con.body.xml
comp.con.types.xml
Composition/
Finite.con.body.xml
Finite.con.types.xml
Finiteness/
Injections_compose.con.body.xml
Injections_compose.con.types.xml
Injective.con.body.xml
Injective.con.types.xml
Mappings/
Preservation/
Surjections_compose.con.body.xml
Surjections_compose.con.types.xml
Surjections_right.con.body.xml
Surjections_right.con.types.xml
Surjective.con.body.xml
Surjective.con.types.xml