607f18c70dc7fd63885c3f7fade8acae757f8961262f0a2695212a397e8cde2b  files/README.md
7fa41a0cc73fe4aa849b9ea966317743d81a713817a7ca2d9d35ca053fdab0ee  files/lean/Stratified_Universality_Lean_Guide.pdf
f8cc3b041136bd17412a8291f06d651df6551333832d677424702dd648843ed6  files/traditional/Stratified_Universality_Traditional.pdf
383014e4dcaa0cdc4c7a1d61880eb16e4b308bb769c92de2389ced7985d62d37  files/traditional/Stratified_Universality_Traditional.tex
6c21f79f22f22d7a63a48a40ed7cf41dacac3c59e8c38f175278a4968726a33e  files/visual/Stratified_Universality_Visual_Guide.pdf
