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

Implicit argument of `probability_setT`

Open affeldt-aist opened this issue 6 months ago • 0 comments

https://github.com/math-comp/analysis/blob/1ab682517f25e7f661e3b6dee2453778a535260f/theories/measure.v#L3575

the measure P should not be implicit

affeldt-aist avatar Jun 26 '25 02:06 affeldt-aist