Theorem Cardinal.empty_infinite_Theory_isComplete

Modification history