L5_07_Assumptions for no additional fixed points

Uppladdad av Torsten Lindström      Skapade fr o m Del 1 11 maj av Erik Edvardsson Richter