Skip to content

made progress on coprimality lemmas + part of the main theorem

Mahmoud M. Hamido requested to merge mh-wip into main

There is still a lemma and part of the main proof that needs to be proven.

Merge request reports