I have noticed that there exists derivation tag. It contains two question at the moment, so it might be quite recent. Maybe it was created here. The tag-wiki is empty, but it seems that the tag is intended for questions about derivation of some fact, steps in some derivation, etc. Will such ta...