Timeline for Seek help to formalize an argument to positiveness of function defined inductively by integral
Current License: CC BY-SA 4.0
3 events
when toggle format | what | by | license | comment | |
---|---|---|---|---|---|
Feb 16, 2021 at 9:02 | comment | added | gmvh | Note, though, that your "induction" implies $h(0)=0$. | |
Feb 15, 2021 at 17:59 | vote | accept | Quiet_waters | ||
Feb 15, 2021 at 16:45 | history | answered | gmvh | CC BY-SA 4.0 |