Theorem parallelogram_law_with_nnnorm

Modification history