选择公理与Tukey引理等价性的机器证明

孙天宇, 郁文生

A Mechanized Proof of Equivalence Between the Axiom of Choice and Tukey’s Lemma

SUN Tian-yu, YU Wen-sheng

北京邮电大学学报 . 2019, (5): 1 -7 . DOI: 10.13190/j.jbupt.2019-001