mathlib3

3ade05ac - feat(docs): allow deeper nesting within undergrad.yaml (#18407)

feat(docs): allow deeper nesting within undergrad.yaml (#18407) Actually rendering this extra level needs https://github.com/leanprover-community/leanprover-community.github.io/pull/311