`BookProof.ChapterBoseEinstein.boseEinstein_strictAntiOn` : StrictAntiOn boseEinstein (Set.Ioi 0)

Initializing...

`BookProof.ChapterBoseEinstein.boseEinstein_strictAntiOn` : StrictAntiOn boseEinstein (Set.Ioi 0) · Prove2Me