Theorem Imo2025Q3.IsBonza.apply_prime_eq_one_or_dvd_self_sub_apply

Modification history

2025-12-20 12:59
Archive/Imo/Imo2025Q3.lean
feat: 2025 imo problem3 (#27254) …
Added Imo2025Q3.IsBonza.apply_prime_eq_one_or_dvd_self_sub_applyView on Github →