-
Manuel Eberl authored
Ergodic_Theory: removed 'pullback_algebra'. Turns out it already exists and is called 'vimage_algebra'.
bcfe34497000
This instance will be upgraded to Heptapod 1.3.1 (GitLab 16.9.3) on 2023-03-28 at 17:00 UTC+1
Ergodic_Theory: removed 'pullback_algebra'. Turns out it already exists and is called 'vimage_algebra'.