Skip to content

replaces uses of setquotprpathsandR from PAdics#229

Merged
benediktahrens merged 1 commit intoUniMath:masterfrom rmatthes:getridofPAdicsNov 6, 2022

Commits

Commits on Nov 6, 2022