mathlib4 icon indicating copy to clipboard operation
mathlib4 copied to clipboard

refactor: Lighten finiteness dependencies

Open YaelDillies opened this issue 1 year ago • 1 comments
trafficstars


  • [x] depends on: #11601
  • [x] depends on: #11653
  • [x] depends on: #11655
  • [x] depends on: #11661
  • [x] depends on: #11665
  • [x] depends on: #11711
  • [x] depends on: #11715
  • [x] depends on: #11716
  • [x] depends on: #11725
  • [x] depends on: #11729
  • [x] depends on: #11732
  • [x] depends on: #11741
  • [x] depends on: #11750
  • [x] depends on: #11845
  • [x] depends on: #11866
  • [x] depends on: #11924

Open in Gitpod

YaelDillies avatar Mar 24 '24 19:03 YaelDillies