coq-mk-choice-axiom-and-equivalent-propositions Versions (1)

Version Release Date Links
1.0.0 28 Feb 2025 Documentation