The tag implication #69847 toeless_thigh_highs -> thigh_highs is pending approval.
Reason: All cases of toeless_thigh_highs are also cases of thigh_highs
Posted under Tag Alias and Implication Suggestions
The tag implication #69847 toeless_thigh_highs -> thigh_highs is pending approval.
Reason: All cases of toeless_thigh_highs are also cases of thigh_highs