Code

Deprecate le_not_lt for Nat.le_ngt#190

Code

Merged

spitters merged 3 commits intocoq-community:mastercoq-community/corn:masterfrom anandadalton:easy_fixesanandadalton/corn:easy_fixesCopy head branch name to clipboardMay 20, 2023

+142-141

Commits

Commits on May 20, 2023

• 'Deprecate le_not_lt for Nat.le_ngt'

  anandadalton

  committed
  414d996

  Copy full SHA for 414d996

• 'Deprecate lt_n_S for Nat.succ_lt_mono'

  anandadalton

  committed
  e9affa7

  Copy full SHA for e9affa7

• 'Deprecate lt_not_le for Nat.lt_nge'

  anandadalton

  committed
  79d5b5f

  Copy full SHA for 79d5b5f