The BookOfProofs Feedhttps://www.bookofproofs.org/feedb/Latest cool examples, proofs and theorems from www.bookofproofs.org- fpl formal proving languagehttps://www.bookofproofs.org/branches/fpl-formal-proving-language/https://www.bookofproofs.org/branches/fpl-formal-proving-languageFri, 02 Jul 2021 22:21:59 +0200newest fpl - the formal proving language
- abelian group of vectors under additionhttps://www.bookofproofs.org/branches/abelian-group-of-vectors-under-addition/https://www.bookofproofs.org/branches/abelian-group-of-vectors-under-additionSun, 29 Nov 2020 14:24:58 +0100newest
**corollary**: abelian group of vectors under addition - abelian group of matrices under addition proofhttps://www.bookofproofs.org/branches/abelian-group-of-matrices-under-addition/proof/https://www.bookofproofs.org/branches/abelian-group-of-matrices-under-addition/proofSun, 29 Nov 2020 12:00:18 +0100newest
**proof**: *(related to "abelian group of matrices under addition")* - transitive recursion proofhttps://www.bookofproofs.org/branches/transitive-recursion/proof/https://www.bookofproofs.org/branches/transitive-recursion/proofSun, 12 Jul 2020 10:22:39 +0200newest
**proof**: *(related to "transitive recursion")* - transitive recursionhttps://www.bookofproofs.org/branches/transitive-recursion/https://www.bookofproofs.org/branches/transitive-recursionSun, 12 Jul 2020 10:20:41 +0200newest
**proposition**: transitive recursion - recursively defined arithmetic functions recursion proofhttps://www.bookofproofs.org/branches/recursively-defined-arithmetic-functions-recursion/proof/https://www.bookofproofs.org/branches/recursively-defined-arithmetic-functions-recursion/proofSun, 12 Jul 2020 10:14:29 +0200newest
**proof**: *(related to "recursively defined arithmetic functions, recursion")* - recursively defined arithmetic functions recursionhttps://www.bookofproofs.org/branches/recursively-defined-arithmetic-functions-recursion/https://www.bookofproofs.org/branches/recursively-defined-arithmetic-functions-recursionSun, 12 Jul 2020 10:11:39 +0200newest
**proposition**: recursively defined arithmetic functions, recursion - convergent complex sequences are cauchy sequences proofhttps://www.bookofproofs.org/branches/convergent-complex-sequences-are-cauchy-sequences/proof/https://www.bookofproofs.org/branches/convergent-complex-sequences-are-cauchy-sequences/proofSat, 11 Jul 2020 16:20:51 +0200newest
**proof**: *(related to "convergent complex sequences are cauchy sequences")* - convergent complex sequences are cauchy sequenceshttps://www.bookofproofs.org/branches/convergent-complex-sequences-are-cauchy-sequences/https://www.bookofproofs.org/branches/convergent-complex-sequences-are-cauchy-sequencesSat, 11 Jul 2020 16:12:30 +0200newest
**proposition**: convergent complex sequences are cauchy sequences - convergent real sequences are cauchy sequences proofhttps://www.bookofproofs.org/branches/convergent-real-sequences-are-cauchy-sequences/proof/https://www.bookofproofs.org/branches/convergent-real-sequences-are-cauchy-sequences/proofSat, 11 Jul 2020 16:02:10 +0200newest
**proof**: *(related to "convergent real sequences are cauchy sequences")* - convergent real sequences are cauchy sequenceshttps://www.bookofproofs.org/branches/convergent-real-sequences-are-cauchy-sequences/https://www.bookofproofs.org/branches/convergent-real-sequences-are-cauchy-sequencesSat, 11 Jul 2020 16:12:58 +0200newest
**proposition**: convergent real sequences are cauchy sequences - theorems regarding limits of sequenceshttps://www.bookofproofs.org/branches/theorems-regarding-limits-of-sequences/https://www.bookofproofs.org/branches/theorems-regarding-limits-of-sequencesFri, 10 Jul 2020 19:49:36 +0200newest theorems regarding limits of sequences
- examples of limit calculationshttps://www.bookofproofs.org/branches/examples-of-limit-calculations/https://www.bookofproofs.org/branches/examples-of-limit-calculationsFri, 10 Jul 2020 18:40:21 +0200newest examples of limit calculations
- theorems regarding limits of functionshttps://www.bookofproofs.org/branches/theorems-regarding-limits-of-functions/https://www.bookofproofs.org/branches/theorems-regarding-limits-of-functionsFri, 10 Jul 2020 19:47:56 +0200newest theorems regarding limits of functions
- bounded subsets of unordered setshttps://www.bookofproofs.org/branches/bounded-subsets-of-unordered-sets/https://www.bookofproofs.org/branches/bounded-subsets-of-unordered-setsTue, 07 Jul 2020 08:50:50 +0200newest
**definition**: bounded subsets of unordered sets