type-natural-0.3.0.0: Type-level natural and proofs of their properties.

Index - P

plusAssociativeData.Type.Natural
plusCommutativeData.Type.Natural
plusCongLData.Type.Natural
plusCongRData.Type.Natural
plusInjectiveLData.Type.Natural
plusInjectiveRData.Type.Natural
plusLeqLData.Type.Natural
plusLeqRData.Type.Natural
plusMinusEqLData.Type.Natural
plusMinusEqRData.Type.Natural
plusMonotoneData.Type.Natural
plusMultDistrData.Type.Natural
plusNeutralLData.Type.Natural
plusNeutralRData.Type.Natural
plusSRData.Type.Natural
plusZLData.Type.Natural
plusZRData.Type.Natural
propToBoolLeqData.Type.Natural
propToClassLeqData.Type.Natural