← all areas

Namespace Fin 3 theorems

• Concatenation of finite S-chains Fin.exists_chain_append 0 below · cited by 2 · depth 12
• Edge functions pairing to zero with all flows are coboundaries mod q Fin.exists_forall_sub_sub_modEq_of_forall_flow_sum_mul_modEq_zero 0 below · cited by 1 · depth 22
• Uniform ℓ-power bound for integral tropical principality Fin.exists_forall_vertexLaw_and_edgeLaw_pow_of_pow_add_of_modEq_of_forall_flow_sum_mul_eq 0 below · cited by 1 · depth 22