New theorem about funcoids (ERROR!)

I have proved (and added to my online book) the following theorem:

Theorem Let f \in \mathsf{FCD} (A ; B) and z \in \mathscr{F} (B)^A. Then there is an (obviously unique) funcoid g \in \mathsf{FCD} (A ; B) such that \langle g\rangle x = \langle f\rangle x for nontrivial ultrafilters x and \langle g\rangle @\{ p \} = z (p) for p \in A

After I started to prove it, it took about a hour or like this to finish the proof.


Leave a Reply