Axioms Used in "Hom-Subgp" Proof, A Simple Sample Problem Pair, and ZORBA

purl.stanford.edu/pj302mh7737