Skip to content

Delete useless assumption in util-lemma

Sergey Bozhko requested to merge sbozhko/rt-proofs:delete-useless-assumption into master

Merge request reports