Wed, 10 Oct 2012 12:12:34 +0200 | hoelzl | induction prove for positive_integral_fst | changeset | files |
Wed, 10 Oct 2012 12:12:34 +0200 | hoelzl | strong nonnegativ (instead of ae nn) for induction rule | changeset | files |
Wed, 10 Oct 2012 12:12:33 +0200 | hoelzl | induction prove for positive_integral_density | changeset | files |