Assertion list
thickness (primary) → RelatedTo
Results from Ascent++: 2
thickness → RelatedTo → 1/4λ 0.25
thickness → RelatedTo → final cavity dimension 0.25