Skip to content

simplified proof of finite_setOf_pattern_support_eq

9ae1a15
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
Open

feat(SymbolicDynamics): basic setup of Zd, full shift, cylinders, pat… #28546

simplified proof of finite_setOf_pattern_support_eq
9ae1a15
Select commit
Loading
Failed to load commit list.