Size / Yang dimension
Name: Size / Yang dimension
Parameter 1: Size
Parameter 2: Yang dimension
Relationship Type: $P_1\ge P_2$
Variant:
Details:Lemma
Witness: Singletons
Name: Size / Yang dimension
Parameter 1: Size
Parameter 2: Yang dimension
Relationship Type: $P_1\ge P_2$
Variant:
Details:Lemma
Witness: Singletons