You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
and what about if we need to make the measure explicit? {ae[mu], f =1 g} ? (If we need to make both the measure and the support set explicit, then {ae mu, forall x, x \in D -> f x = g x} is good enough, no need for a notation)
analysis/theories/lebesgue_integral.v
Line 41 in c8adb03
what about using a notation such as
or
=a.e.
?The text was updated successfully, but these errors were encountered: