Author(s) :
Andreas Unterreiter
Preprint series of the Institute of Mathematics, Technische Universität Berlin
Preprint 10-2015
MSC 2000
- 03B30 Foundations of classical theories
-
03B35 Mechanization of proofs and logical operations
-
70A05 Axiomatics, foundations
Abstract :
Errata Suite I. KLT (Elemente der klassischen Lagrange Theorie).
E-Schnitt von x. Einschränkung von x auf E. x_{fkt}.
Ecup/cap-Verschiebung von x. x_{c12}. partielle Relation.
Cartesisches Produkt cp x. bigcup Axiom.
Keywords :
Elemente Klassische Lagrange Theorie. Cartesisches Produkt.