Theorem Imo2015Q6.notMem_pool_self

Modification history

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