Implicating knot_pullout → knot
Link to implication
Reason:
Impossible to pull out a knot without a knot.
EDIT: The tag implication unknotting -> knot (forum #250128) has been rejected by @NotMeNotYou.
Updated by auto moderator
Posted under Tag Alias and Implication Suggestions
Implicating knot_pullout → knot
Link to implication
Impossible to pull out a knot without a knot.
EDIT: The tag implication unknotting -> knot (forum #250128) has been rejected by @NotMeNotYou.
Updated by auto moderator
The tag implication unknotting -> knot (forum #250128) has been rejected by @NotMeNotYou.