Theorem parallelogram_law

Modification history