Function network_coding_capacity_ty 

pub fn network_coding_capacity_ty() -> Expr

NetworkCodingCapacity : Nat → Nat → Prop — max-flow min-cut theorem: multicast capacity equals minimum cut capacity.