Theorem enorm_indicator_le_enorm_self

Modification history