Commit 2022-12-04 12:47 6956cfb1

View on Github →

chore: bump to nightly-2022-12-03 (#838)

  • chore: bump to nightly-2022-12-03
  • Prod.ext in core renamed to Prod.eta
  • bump

Estimated changes

deleted theorem Prod.ext'
added theorem Prod.ext