User blog comment:Bubby3/Difficulty of comparison of functions and notations./@comment-2001:56A:71A8:5F00:5018:1A54:9FE2:9013-20180402011315/@comment-24725252-20180402105802

Calculus of constructions, the language used in Loader's number