simplified lemmas #6

Closed hoheinzollern closed 1 year ago