law Nat.max_ge_l
import Base775law Nat.max_ge_l:
776 for +a: Nat
777 for +b: Nat
778 {Nat.is_ge(Nat.max(a, b), a) == True{} : Bool}
Uses (5)
Used by (0)
No other definition uses this definition.
import Base775law Nat.max_ge_l:
776 for +a: Nat
777 for +b: Nat
778 {Nat.is_ge(Nat.max(a, b), a) == True{} : Bool}
No other definition uses this definition.