Axioms in bldg
first version of the bldg with axioms in classes. real ranges and complex numbers should be refined.
Please register or sign in to comment
first version of the bldg with axioms in classes. real ranges and complex numbers should be refined.