Tags

added description, how you can compile your project in multiple versions. added latest as additional default version

Initialized Z and Q, based on standard natural numbers. Stated standard theorems on `diffeq, quoteq, addZ, addQ, mulZ, mulQ`.