Theorem Function.support_div

Modification history