Commit 2026-03-24 02:02 276bbda7

View on Github →

chore: bump toolchain to v4.29.0-rc7 (#37034) This brings the new inferInstanceAs implementation.

Estimated changes

modified def EReal.exp
modified theorem EReal.exp_zero
added theorem ENat.add_top
added theorem ENat.top_add
added theorem EReal.rec_bot
added theorem EReal.rec_coe
added theorem EReal.rec_top
modified def NNReal
deleted def uniformSpaceOfEDist