Symbols:Abbreviations/A/AoC

From ProofWiki
Jump to navigation Jump to search

Abbreviation: AoC

The axiom of choice.

Same as AC.