benediktahrens/rezk_completion

Issues

• Lemma iso_set_isweq

  #9 opened 11 years ago by DanGrayson
  2

• Slowness in compiling the library

  #8 opened 11 years ago by JasonGross
  68

• "iso" can be applied to objects in different precategories

  #7 opened 11 years ago by DanGrayson
  26