Several simple lemmas.

Merge request reports

Loading