Theorem indicator_enorm_le_enorm_self

Modification history