A1 : Order field axioms & Well-Ordering Principle

Opened: Wednesday, 6 December 2023, 10:00 AM
Due: Wednesday, 6 December 2023, 11:59 PM