2 ms·What about the following, though? Theorem: for: x where: y then: z 'some statement'by mkl 6y agoWhat about the following, though? Theorem: for: x where: y then: z 'some statement'