more lemmas about antistrict homs
more lemmas about antistrict homs

Ignore-this: 483c7b350dc3cab59c8ff50e1ac73b8c

darcs-hash:20140124065953-f399b-4306071db9898240b7df394a60467764ecd26aa8

robdockins/domains