Mathlib Changelog
v4
Changelog
About
Github
Theorem
Imo2019Q2.Imo2019q2Cfg.Q_not_mem_CB
Modification history
2025-05-25 12:30
Archive/Imo/Imo2019Q2.lean
chore(*): not_mem/nmem -> notMem (#25159)
Deleted
Imo2019Q2.Imo2019q2Cfg.Q_not_mem_CB
View on Github →
2023-06-29 05:58
Archive/Imo/Imo2019Q2.lean
feat: port Archive.Imo.Imo2019Q2 (#5573)
Added
Imo2019Q2.Imo2019q2Cfg.Q_not_mem_CB
View on Github →