Theorem sup_himp_distrib

Modification history