In logic, a true biconditional between formal definitions is precisely what identity of logical prop...
This proposition has not been edited since the history system was added.