Back to pull request #6160

feat: add `Nat.mod_eq_sub` and fix dependencies from `Nat.sub_mul_eq_mod_of_lt_of_le` #1207

Sign in to view logs

Triggered via pull request November 27, 2024 03:48

kim-em

labeled #6160

opencompl:mod_eq_sub_of_le_of_lt

Status Success

Total duration 9s

Artifacts –

pr-body.yml

on: pull_request