analysis icon indicating copy to clipboard operation
analysis copied to clipboard
verified publisher icon math-comp

shouldn't this equivalence with suffixed with `P`?

Open affeldt-aist opened this issue 1 year ago • 0 comments

https://github.com/math-comp/analysis/blob/d64e9df02884ed1a100efce56f07dd9b448fac7d/theories/lebesgue_measure.v#L1435

affeldt-aist avatar Oct 10 '24 08:10 affeldt-aist