Theorem ext_nat'

Modification history