feat: split instance lists between pi and forall and implies and function

[eric-wieser]

deploy

[github-actions[bot]]

This PR has been successfully deployed! You can find it at http://leanprover-community.github.io/mathlib_docs_demo in around 10 minutes, or watch the deployment progress by going to http://github.com/leanprover-community/mathlib_docs_demo