"'MM.FLM86SB.corollary851_iff_sourceUnshifted' depends on axioms: [propext, Classical.choice, Quot.sound]"
"'MM.FLM86SB.corollary851_iff_sourceStatement' depends on axioms: [propext, Classical.choice, Quot.sound]"
"'MM.FLM86SB.corollary851_iff_theorem861SourceStatement' depends on axioms: [propext, Classical.choice, Quot.sound]"
"'MM.FLM86SB.displayAtPair_iff_forall_theorem861SourceStatement' depends on axioms: [propext,"
' Classical.choice,'
' Quot.sound]'
"'MM.FLM86SB.displayAllStates_iff_sourceStatements_of_evenCocycle' depends on axioms: [propext,"
' Classical.choice,'
' Quot.sound]'