Skip to content

Comments in Util-section

We need to add comments to lemmas in Util-section.

Edited by Sergey Bozhko