Theorem Imo2024Q5.MonsterData.notMem_monsterCells_of_fst_eq_zero

Modification history

2025-05-25 12:30
Archive/Imo/Imo2024Q5.lean
chore(*): not_mem/nmem -> notMem (#25159)
Added Imo2024Q5.MonsterData.notMem_monsterCells_of_fst_eq_zeroView on Github →