fix xca:ints-as-quotient and lem:euclid-div, clarify lem:PHP#192

Open

clayrat wants to merge 2 commits intoUniMath:masterfrom

clayrat:fix-2.22

Commits on Aug 8, 2023

fix xca:ints-as-quotient
clayrat
committed

Commits on Aug 10, 2023

fix proof of lem:euclid-div, clarify lem:PHP
clayrat
committed