Stipulative definitions are conventional; if analyticity is merely stipulated for infinite cases, it...
This proposition has not been edited since the history system was added.