Theorem Imo2019Q2.Imo2019q2Cfg.Q_notMem_CB

Modification history

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