Birkhoff–James classification of norm’s properties | Synapse