Theorem Nat.modEq_list_map_prod_iff

Modification history

2025-06-04 10:11
Mathlib/Data/Nat/ChineseRemainder.lean
chore(Data): remove primes from names (#25163) …
Added Nat.modEq_list_map_prod_iffView on Github →