f || g == 
x:A. (((
x 
dom(f)) 
(x dom(g))) 
(f(x) = g(x)))
Definitions :
all: x:A. B[x],
implies: P Q,
and: P Q,
assert: b,
fpf-dom: x dom(f),
equal: s = t,
fpf-ap: f(x)
FDL editor aliases :
fpf-compatible
f || g == \mforall{}x:A. (((\muparrow{}x \mmember{} dom(f)) \mwedge{} (\muparrow{}x \mmember{} dom(g))) {}\mRightarrow{} (f(x) = g(x)))
Date html generated:
2010_08_26-PM-11_46_10
Last ObjectModification:
2008_02_27-PM-09_38_57
Home
Index