Theorem IsComplete.nonempty_iInter_of_nonempty_biInter

Modification history