import Shioriproofs.Erdos1109

-- 第109便：k-AP の入れ子補題（第107便 FINDING §A）の公理検査
#print axioms Shiori1109.apFreeK_three_iff
#print axioms Shiori1109.apFreeK_of_le
#print axioms Shiori1109.apFreeK_mono
#print axioms Shiori1109.core_loc
#print axioms Shiori1109.core_strong
#print axioms Shiori1109.lemma1_iUnion
#print axioms Shiori1109.lemma2_iUnion
#print axioms Shiori1109.lemma2_four
#print axioms Shiori1109.three_conditions_iff
#print axioms Shiori1109.core_loc_three
#print axioms Shiori1109.three_reduces_to_sep_M1
#print axioms Shiori1109.tight_example
#print axioms Shiori1109.tight_equality
#print axioms Shiori1109.Doubling.prefix_box
#print axioms Shiori1109.apFreeK_iUnion_of_prefix