Formalization of tuples

Printable View