Re: [isabelle] looking for some measure.union_inter theorem




> 
> I feel a little lost from this point, as I do not understand why  f(A)  + 0 = f(A) for any peculiar function f ! As far a I know, this is part of the addition definition.


I meant "I do not understand why  f(A)  + 0 = f(A) SHOULD BE PROVED for any peculiar function f ", of course...




This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.