Patent val/Properties: Difference between revisions

Adjacent GPVs property -> sorting property, and improve and databox the proof
m Clarify
Line 1: Line 1:
This page shows some properties of the '''[[generalized patent val]]''' ('''GPV''').  
This page shows some properties of [[patent val]]s as well as [[generalized patent val]]s (GPVs), although currently it is all about the latter.  


== To tell if a val is a GPV ==
== To tell if a val is a GPV ==