Proving a property of a definition

Printable View