HomeIsabelle/Phabricator

Ergodic_Theory: removed 'pullback_algebra'. Turns out it already exists and is…

Description

Ergodic_Theory: removed 'pullback_algebra'. Turns out it already exists and is called 'vimage_algebra'.

Details

Provenance
pruvistoAuthored on
Parents
rAFP002a907668c5: merged
Branches
Unknown
Tags
Unknown