Commit 2021-12-03 08:57 c093d04d
View on Github →feat(data/nat/basic): Monotonicity of nat.find_greatest
(#10507)
This proves that nat.find_greatest
is monotone in both arguments.
feat(data/nat/basic): Monotonicity of nat.find_greatest
(#10507)
This proves that nat.find_greatest
is monotone in both arguments.