Theorem Int.modEq_sub_fac

Modification history

2026-05-17 20:27
Mathlib/Data/Int/ModEq.lean
chore: remove declarations deprecated between 2021-05-15 and 2025-11-15 (#39405) …
Deleted Int.modEq_sub_facView on Github →
2023-07-29 10:38
Mathlib/Data/Int/ModEq.lean
feat: Data/Int/ModEq add theorem modEq_sub_fac, compliment modEq_add_fac (#6040) …
Added Int.modEq_sub_facView on Github →