Skip to content
comonum-v1.0.0-beta protected
Max Ole Elliger's avatar
Max Ole Elliger
@oc59yqul
e99d6988 · solved quoteq_reflexive and quoteq_symmetric · 
Initialized Z and Q, based on standard natural numbers. Stated standard theorems on `diffeq, quoteq, addZ, addQ, mulZ, mulQ`.