theories/numbers.v · 0a0bd5d2881f547fdda6f81636424ad4b9c74c32 · Jan / stdpp · GitLab

Skip to content

GitLab

Explore

Sign in

stdpp
theories
numbers.v

Blame Permalink

Mar 01, 2019
0a0bd5d2

Ensure that `Nat.max` only `simpl`s if it does not result into a pattern match. · 0a0bd5d2
Robbert Krebbers authored Mar 01, 2019

0a0bd5d2

Ensure that `Nat.max` only `simpl`s if it does not result into a pattern match.
Robbert Krebbers authored Mar 01, 2019

Loading