Skip to main content

linear_network_coding_ty

oxilean_std::coding_theory::functions

Function linear_network_coding_ty 

Source 
pub fn linear_network_coding_ty() -> Expr
Expand description

LinearNetworkCoding : Nat → Nat → Prop — linear network coding suffices to achieve multicast capacity.