import Papers

-- The paper's results: each must list no axiom beyond propext, Classical.choice and Quot.sound.
#print axioms Papers.OaiGraphDecompositionsIntegral.main
#print axioms Papers.OaiGraphDecompositionsIntegral.typical_cover
#print axioms Papers.OaiGraphDecompositionsIntegral.q_lower
#print axioms Papers.OaiGraphDecompositionsIntegral.degeneracy_split
#print axioms Papers.OaiGraphDecompositionsIntegral.compression
#print axioms Papers.OaiGraphDecompositionsIntegral.transfer
#print axioms Papers.OaiGraphDecompositionsIntegral.degree_embedding
#print axioms Papers.OaiGraphDecompositionsIntegral.stars