Skip to main content
4 events
when toggle format what by license comment
Jul 21, 2016 at 18:26 vote accept Mizar
Jul 21, 2016 at 11:02 answer added Mohammad Safdari timeline score: 2
Jul 21, 2016 at 0:02 comment added Christian Remling The procedure to make $u$ AC on lines of a given direction is to pass to $\int_a^x \partial_t u \, dt$, and it seems applying this repeatedly doesn't destroy previous achievements.
Jul 20, 2016 at 23:32 history asked Mizar CC BY-SA 3.0