Skip to content

Removed double measurable for reals+changed deprecated lemmas#2015

Merged
affeldt-aist merged 8 commits into
math-comp:masterfrom
Brixfoly:ocitv_open_meas
Jul 2, 2026
Merged

Removed double measurable for reals+changed deprecated lemmas#2015
affeldt-aist merged 8 commits into
math-comp:masterfrom
Brixfoly:ocitv_open_meas

Apply suggestion from @affeldt-aist

3228e8d
Select commit
Loading
Failed to load commit list.
Sign in for the full log view