This repository has been archived by the owner on Jul 24, 2024. It is now read-only.
[Merged by Bors] - feat(data/int/basic): add lemma int.abs_le_one_iff#13513
Closed
ocfnash wants to merge 1 commit intomasterfrom ocfnash/int_abs_le_one
+5-2
