manual merge
Description
Description
Details
Details
- Provenance
Rene Thiemann <rene.thiemann@uibk.ac.at> Authored on - Parents
- rAFPa921275c45c0: sitegen for Recursion-Addition, plus fixed some typos in the abstract
rAFPa74d8541a028: sitegen and metadata for Irrational_Series_Erdos_Straus - Branches
- Unknown
- Tags
- Unknown
Event Timeline
Rene Thiemann <rene.thiemann@uibk.ac.at> committed rAFP91f85cde02c6: manual merge.May 13 2020, 10:14 PM2020-05-13 22:14:42 (UTC+2)
Merged Changes
Merged Changes
This commit merges a very large number of changes. Only the first 50 are shown.
- cd4388702c9b New entry Knuth_Bendix_OrderAuthor
- 2fb9e44335af mergeAuthor
- 1e1d92130953 added two lemmasAuthor
- a3c410f7ad14 mergeAuthor
- afa6f540c178 added lemma about limitsAuthor
- 4acc6a5c1603 adapted to f4626b1f1b96Author
- 3483f9d26850 added lemmasAuthor
- 68699ec0d47e tuningAuthor
- f4451bba95a2 simplified proofAuthor
- b5739aa85c75 uniformize capitalizationAuthor
- f01859e37d6b added lemmasAuthor
- a0d27ac848aa Max/Sup issueAuthor
- 9c544f77d299 final lower case of topicsAuthor
- 55c932d460f7 about to give upAuthor
- 8274c4ccd8c9 moved lemmas around, tuningAuthor
- 3a7847bc58ce moving lemmas where they belongAuthor
- ee34afb2b57c added lemmasAuthor
- 77ad5390bcd8 added lemmasAuthor
- a7dec07bb044 added two lemmasAuthor
- 2e7ac4fd9a3f simplified proofAuthor
- 982c9eb51fe6 rationalized localesAuthor
- ff58aa530358 rationalized localesAuthor
- f67a3c3fcc17 rationalized localesAuthor
- bb1e74987268 rationalized localesAuthor
- 5058f17437d6 rationalized localesAuthor
- fd511536d43d rationalized localesAuthor
- ec19eb9df9f6 tuned topicsAuthor