Proof of eqv_mod_subset_is_eqv

Last modified February 24th, 1995

Paul Jackson / jackson@cs.cornell.edu