Minor changes to sphinx documentation

I made very minor changes to the documentation of the infinitesimals and checkinfsol function.