Diffusion afp-devel a2632f50a689

Ergodic_Theory: tuned some names
a2632f50a689
Actions

Tags

None

Subscribers

None

Description

Ergodic_Theory: tuned some names

Details

Provenance

Authored on

Parents

rAFP539ea87e2f86: Ergodic_Theory: ergodicity of the shift operator

Branches

Unknown

Tags

Unknown

Event Timeline

pruvisto committed rAFPa2632f50a689: Ergodic_Theory: tuned some names.Feb 10 2021, 5:54 PM

Changes (6)

Path

Size

ME_Library_Complement.thy

Shift_Operator.thy

Trivial_Measure.thy

rAFPa2632f50a689

thys/Ergodic_Theory/ME_Library_Complement.thy

Loading...

thys/Ergodic_Theory/ROOT

Loading...

thys/Ergodic_Theory/Shift_Operator.thy

Loading...

thys/Ergodic_Theory/Trivial_Measure.thy

Loading...