Theorem codisjoint_himp_self_left

Modification history