Theorem HasCompactMulSupport.mulTSupport_extend_one_subset

Modification history