basic): `zmod.val_min_abs` lemmas (#18119)

Commit

2 years ago

feat(data/zmod/basic): `zmod.val_min_abs` lemmas (#18119) Co-authored-by: Yaël Dillies <yael.dillies@gmail.com>

Author

javra

Parents