You would probably end up writing copies of such books, since same proof will be included multiple times. And more copies written by humans means more errors.
Automated theorem proverbs can probably solve this problem though..
I had a professor who derived Riemann metric from just area of triangle and limits over the course of a semester. So I see what you're getting at, but such books will probably he too long for most people to read anyway.
Automated theorem proverbs can probably solve this problem though..
I had a professor who derived Riemann metric from just area of triangle and limits over the course of a semester. So I see what you're getting at, but such books will probably he too long for most people to read anyway.