import MaxLeafFormal.CDS
open MaxLeafFormal.CDS
#print axioms maxLeaf_eq
#print axioms maxLeaf_small
#print axioms spanningTree_of_CDS
#print axioms tree_inequality
#print axioms pointwise
#print axioms mean_terminals
#print axioms tree_reduction
#print axioms moment_bound_of_tree_bound
#print axioms rstheta_moment_bound_0
#print axioms rstheta_moment_bound_1