Skip to main content

continuous_function_nat_ty

oxilean_std::constructive_mathematics::functions

Function continuous_function_nat_ty 

Source 
pub fn continuous_function_nat_ty() -> Expr
Expand description

ContinuousFunctionNat : (Nat^Nat → Nat) → Prop — every function is continuous.