Implicit argument of `probability_setT`

[affeldt-aist]

analysis/theories/measure.v

Line 3575 in 1ab6825

(P : set T -> \bar R) := { probability_setT : P setT = 1%E }.

the measure P should not be implicit