Skip to content

fix dependent_type_theory.md #28

fix dependent_type_theory.md

fix dependent_type_theory.md #28