Lean (version 4.30.0, x86_64-unknown-linux-gnu, commit d024af099ca4bf2c86f649261ebf59565dc8c622, Release)
'majority_quorums_intersect' does not depend on any axioms
'conflicting_majority_certificates_are_impossible' does not depend on any axioms
'two_of_five_can_split' does not depend on any axioms
'double_signing_allows_two_majorities' does not depend on any axioms