extensionality

English translations

1. 01

   Extensionality