Skip to main content
therefore
Sign inSign up
Open navigation

Source-pinned research

Research proof index

Search theorem names, mathematical ideas, modules, topics, projects, and role-labelled researchers. Open a result for its complete indexed Lean declaration and source record.

This index contains 2,569 research declarations. Search 10,000 more complete Mathlib declarations.

All topics

Showing 1,969 to 1,974 of 2,569 results.

Project-declaredLean 4.33.0-rc1

Is Stable class D

ProbabilityTheory.isStable_classD

Mathematical statement

The Class D is stable.

probabilitystochastic processesmeasure theory

Source project: Brownian motion

Person-level attribution pending.

View proof record
Project-declaredLean 4.33.0-rc1

Is Stable class DL

ProbabilityTheory.isStable_classDL

Mathematical statement

The Class DL is stable.

probabilitystochastic processesmeasure theory

Source project: Brownian motion

Person-level attribution pending.

View proof record
Project-declaredLean 4.33.0-rc1

Is Stable has Integrable Sup

ProbabilityTheory.isStable_hasIntegrableSup

Mathematical statement

The class of processes with integrable supremum is stable.

probabilitystochastic processesmeasure theory

Source project: Brownian motion

Person-level attribution pending.

View proof record
Project-declaredLean 4.33.0-rc1

Is Stable left limit

ProbabilityTheory.isStable_left_limit

Mathematical statement

The processes with left limits are a stable class.

probabilitystochastic processesmeasure theory

Source project: Brownian motion

Person-level attribution pending.

View proof record
Project-declaredLean 4.33.0-rc1

Is Stable right Continuous

ProbabilityTheory.isStable_rightContinuous

Mathematical statement

The processes with right-continuous paths are a stable class.

probabilitystochastic processesmeasure theory

Source project: Brownian motion

Person-level attribution pending.

View proof record