doc(tactic/interactive): link swap and rotate to each other (#7550)
doc(tactic/interactive): link swap and rotate to each other (#7550)

They both do 'make a different goal the current one'.







leanprover-community/mathlib,leanprover-community/mathlib