Skip to content

Commit 2a74c51

Browse files
datokratdatokrat
committed
thinking about changing the simp normal form
1 parent 8b6ec8a commit 2a74c51

File tree

1 file changed

+695
-16
lines changed

1 file changed

+695
-16
lines changed

0 commit comments

Comments
 (0)