12,140
edits
Changes
MyWikiBiz, Author Your Legacy — Monday November 03, 2025
Jump to navigationJump to searchDirectory:Jon Awbrey/Papers/Propositions As Types (view source)
Revision as of 15:10, 24 March 2009
, 15:10, 24 March 2009→Step 1
{| align="center" cellpadding="8" width="90%"
{| align="center" cellpadding="8" width="90%"
| <math>x = x\operatorname{I}</math>
| <math>\begin{matrix}x & = & x\operatorname{I}\end{matrix}</math>
|}
|}
