Summary
- facts about the discrete square root have been merged into the distribution
The file was modified | thys/Bertrands_Postulate/Bertrand.thy (diff) |
The file was removed | thys/Bertrands_Postulate/Bertrand_Discrete_Sqrt.thy |
The file was modified | thys/Bertrands_Postulate/Bertrand.thy (diff) |
The file was removed | thys/Bertrands_Postulate/Bertrand_Discrete_Sqrt.thy |