← all areas

Namespace Function 4 theorems

• Vanishing orbit sums give a coboundary G∘ f-G Function.exists_eq_apply_sub_of_sum_range_minimalPeriod_eq_zero 0 below · cited by 5 · depth 13
• Orbit census for a dihedral pair of order-two and order-three maps Function.orbitCensus_of_dihedralThree_relations 0 below · cited by 2 · depth 15
• Separation of variables from pairwise dependence in all but one direction Function.mul_pow_card_sub_one_eq_mul_prod_update_of_forall_exists_linearCombination_update_eq_zero 0 below · cited by 1 · depth 22
• Finite-rank partial spans give a finite sum of products Function.exists_eq_sum_mul_prod_apply_update_of_forall_exists_forall_apply_update_eq_sum_mul 0 below · cited by 1 · depth 23