Theorem Function.extend_one

Modification history