Some basic refactoring to improve readability

Max Ole Elligerrequested to merge
proof-refactoring into main

Just some refactoring, how to present the theorems and definitions. Could improve readability.

Merge request reports