Theorem Function.support_one

Modification history