The claim conflates syntactic equivalence (same notation) with semantic equivalence (same interpreta...
This proposition has not been edited since the history system was added.