Skip to main content
26 events
when toggle format what by license comment
Oct 26, 2020 at 17:31 history bounty ended R.P.
Dec 31, 2017 at 3:02 history edited Dan Brumleve CC BY-SA 3.0
deleted 4 characters in body
Dec 31, 2017 at 2:51 history edited Dan Brumleve CC BY-SA 3.0
sorry _this_ is where the hypothesis is used
Dec 31, 2017 at 1:58 history edited Dan Brumleve CC BY-SA 3.0
added 79 characters in body
Dec 31, 2017 at 1:47 history edited Dan Brumleve CC BY-SA 3.0
hypothesis was actually used here
Dec 31, 2017 at 1:40 history edited Dan Brumleve CC BY-SA 3.0
make example more general
Dec 31, 2017 at 0:56 history edited Dan Brumleve CC BY-SA 3.0
deleted 1 character in body
Dec 31, 2017 at 0:48 history edited Dan Brumleve CC BY-SA 3.0
added 17 characters in body
Dec 31, 2017 at 0:43 history edited Dan Brumleve CC BY-SA 3.0
this statement is stronger
Dec 31, 2017 at 0:35 history edited Dan Brumleve CC BY-SA 3.0
added 484 characters in body
Dec 31, 2017 at 0:28 history edited Dan Brumleve CC BY-SA 3.0
added 484 characters in body
Dec 30, 2017 at 23:58 history edited Dan Brumleve CC BY-SA 3.0
expand definition of restricted and simplify it
Dec 30, 2017 at 23:48 history edited Dan Brumleve CC BY-SA 3.0
added 70 characters in body
Dec 30, 2017 at 23:40 history edited Dan Brumleve CC BY-SA 3.0
deleted 183 characters in body
Dec 30, 2017 at 23:14 history edited Dan Brumleve CC BY-SA 3.0
deleted 67 characters in body
Dec 30, 2017 at 20:06 history edited Dan Brumleve CC BY-SA 3.0
don't think we need these h functions
Dec 30, 2017 at 19:56 history edited Dan Brumleve CC BY-SA 3.0
added 248 characters in body
Dec 30, 2017 at 19:39 history edited Dan Brumleve CC BY-SA 3.0
added 157 characters in body
Dec 30, 2017 at 19:34 history edited Dan Brumleve CC BY-SA 3.0
added 157 characters in body
Dec 30, 2017 at 19:19 history edited Dan Brumleve CC BY-SA 3.0
added 131 characters in body
Dec 30, 2017 at 19:07 history edited Dan Brumleve CC BY-SA 3.0
deleted 10 characters in body
Dec 30, 2017 at 19:00 history edited Dan Brumleve CC BY-SA 3.0
added 5 characters in body
Dec 30, 2017 at 18:42 history edited Dan Brumleve CC BY-SA 3.0
added 99 characters in body
Dec 30, 2017 at 18:11 history edited Dan Brumleve CC BY-SA 3.0
deleted 17 characters in body
Dec 30, 2017 at 17:49 history edited Dan Brumleve CC BY-SA 3.0
added 154 characters in body
Dec 30, 2017 at 17:39 history answered Dan Brumleve CC BY-SA 3.0