This repository was archived by the owner on Oct 9, 2022. It is now read-only.

Add some simple theorems in tests#30

Open

marfvr wants to merge 1 commit intodevelopfrom

Commits on May 21, 2020

add some theorems in tests
marfvr
committed