Theorem HasCompactMulSupport.comp₂_left

Modification history