v0.1.3
Frederic Tran Minh's avatar
Frederic Tran Minh
@tranminf
80fcfa36 · version number 0.1.3 | warning : bug w/ simp_all! + arith in 10_racine_carree... · 
version 0.1.3 -> expe rodin