Documentation
QuasiBorelSpaces
.
Empty
Search
return to top
source
Imports
Init
QuasiBorelSpaces.Basic
QuasiBorelSpaces.MeasureTheory.Instances
Imported by
QuasiBorelSpace
.
Empty
.
instEmpty
QuasiBorelSpace
.
PEmpty
.
instPEmpty
source
instance
QuasiBorelSpace
.
Empty
.
instEmpty
:
QuasiBorelSpace
Empty
Equations
QuasiBorelSpace.Empty.instEmpty
=
default
source
instance
QuasiBorelSpace
.
PEmpty
.
instPEmpty
:
QuasiBorelSpace
PEmpty.{u_2 + 1}
Equations
QuasiBorelSpace.PEmpty.instPEmpty
=
default