law Nat.max_ge_r
import Base791law Nat.max_ge_r:
792 for +a: Nat
793 for +b: Nat
794 {Nat.is_ge(Nat.max(a, b), b) == True{} : Bool}
Uses (5)
Used by (0)
No other definition uses this definition.
import Base791law Nat.max_ge_r:
792 for +a: Nat
793 for +b: Nat
794 {Nat.is_ge(Nat.max(a, b), b) == True{} : Bool}
No other definition uses this definition.