Theorem Function.extend_apply'

Modification history