search

albertqjiang / miniF2F

An updated version of miniF2F with problems fixed
0 stars 0 forks source link

fix mathd_algebra_17: adding the assumption 1 + a > 0 #29

Closed Wenda302 closed 2 years ago