Finite_family:
Add and prove skipF_2{l,r}0, skipF_3{l,m,r}{0,1}, skipF_coupleF_{l,r}, skipF_tripleF_{l,m,r}. multi_index: Propagate new API (from Finite_family).
Loading
Please register or sign in to comment
Add and prove skipF_2{l,r}0, skipF_3{l,m,r}{0,1}, skipF_coupleF_{l,r}, skipF_tripleF_{l,m,r}. multi_index: Propagate new API (from Finite_family).