Year: 2007
Type: article
Abstract: A formalization of the first proof from [6].
Source: Formalized Mathematics
Author: Freek Wiedijk
Institution: Radboud University Nijmegen
Language: English
Subfield: Economics and Econometrics
Domain: Social Sciences
Open Access status: diamond
OpenAlex ID: W2017527449