Applying standard real-number axioms to hyperreals without restriction commits a type error by confl...
This proposition has not been edited since the history system was added.