cd
ps
ll
whoami
article
academic
G1T1
calculus
0-pre
1-func
3-inv_and_comp
0-inv_func
inv_func.md
inv_func_existence_theorem.md