پیش‌نیازها نگره‌ی هنگرد

لم لیندنبائوم
برابر انگلیک (انگلیسی): Lindenbaum's lemma


تاربرگ‌های پیموده‌شده در این نشست: سهان ⟩ دیسول بارکن ⟩ دیسول بسته ⟩ دمداشت زینه‌ی یکم ⟩ پادنهش ⟩ جورج بول