Theorem Imo1985Q2.C_mul_mod

Modification history

2025-06-23 14:05
Archive/Imo/Imo1985Q2.lean
feat: IMO 1985 Q2 (#25783)
Added Imo1985Q2.C_mul_modView on Github →