Talk:Miner Enumeration/@comment-33102557-20181026121811

$$/complement_0$$ is I because $$/complement_1$$ is 0=I cardinal