Theorem ENorm.map_sub_rev

Modification history