top | item 46025102 (no title) SkySkimmer | 3 months ago >if in forall A, B A is of type _i and B is of type _j, forall A, B is of type type *_(max(i, j) + 1).Minor correction: no +1 in forall discuss order hn newest No comments yet.
No comments yet.