2 search results for "tag:"category: Mathematics/Real Calculus and Topology""

Showing 1 - 2
  1. coq-markov

    No documentation

    Markov's inequality
    keyword: probability keyword: Markov keyword: Lebesgue integration keyword: sigma algebras keyword: measurability keyword: Borel category: Mathematics/Real Calculus and Topology date: 2008-01-5
    Robert Kam <rkam2001@hotmail.com> [none]
    8.10.0
    GNU Lesser Public License
    Used by 0 other packages
    07 Dec 2019
  2. coq-rem

    No documentation

    Rem Theorem in Baire space
    keyword: Rem Theorem keyword: Baire space category: Mathematics/Real Calculus and Topology
    Henk Barendregt
    8.10.0
    LGPL 2.1
    Used by 0 other packages
    07 Dec 2019