Mathematical structures often have pre-formal intuitive content that grounds rather than depends on ...
This proposition has not been edited since the history system was added.