Positive No-Clashing Teaching Dimension / Maximum Positive Degree
Name: Positive No-Clashing Teaching Dimension / Maximum Positive Degree
Parameter 1: Positive No-Clashing Teaching Dimension
Parameter 2: Maximum Positive Degree
Relationship Type: $P_1\ge P_2$
Variant: