Skip to content

Convert a Variables to two Admitted statements#54

Merged
benediktahrens merged 1 commit intoUniMath:masterfrom arnoudvanderleer:fix-variablesSep 10, 2024