User:Xenwolf/Self-link formatting
(Redirected from Self-link formatting)
todo: A solution to make redirect lemmas more accessible, if there is a chance that they can be grown to pages.
todo: A solution to make redirect lemmas more accessible, if there is a chance that they can be grown to pages.