mathlib3
feat(order/rel_classes): housekeeping
#18750
Open

Commits
  • cleanup
    vihdzp committed 2 years ago
  • these are all automatically inferred
    vihdzp committed 2 years ago
  • instance
    vihdzp committed 2 years ago
  • Merge branch 'hydra_typeclass' into wf_cleanup_1
    vihdzp committed 2 years ago
Loading