f:({t:T| P(t) }
{t:T| Q(t) }), g:({t:T| Q(t) }{t:T| P(t) }).
InvFuns({t:T| P(t) }; {t:T| Q(t) }; f; g)PropProp
t:T. P(t) 
Q(t) {t:T| P(t) } ~ {t:T| Q(t) }| 1 | f:({t:T| P(t) }{t:T| Q(t) }), g:({t:T| Q(t) }{t:T| P(t) }).
InvFuns({t:T| P(t) }; {t:T| Q(t) }; f; g) |
About:
 |  |  |  |  |  |  |