login  home  contents  what's new  discussion  bug reports     help  links  subscribe  changes  refresh  edit

Edit detail for SandBoxTest1 revision 1 of 1

1
Editor: test1
Time: 2021/03/02 14:16:35 GMT+0
Note:

changed:
-
\begin{axiom}
1 + 2
\end{axiom}

fricas
1 + 2

\label{eq1}3(1)
Type: PositiveInteger?