Closed digama0 closed 2 years ago
(master was broken, apparently because I ran lake update at a moment when mathlib4 and std were not compatible. I've fixed that, and merged master here. It builds locally, hopefully CI agrees.)
master
lake update
mathlib4
std
(
masterwas broken, apparently because I ranlake updateat a moment whenmathlib4andstdwere not compatible. I've fixed that, and mergedmasterhere. It builds locally, hopefully CI agrees.)