Theorem Complex.HadamardThreeLines.scale_id_mem_verticalStrip_of_mem_verticalStrip

Modification history