docs: the universe $\cal U$ is used without definition
Here: https://gitlab.mpi-sws.org/FP/iris-coq/blob/master/docs/model.tex#L155
Without saying that \cal U
is the universe (in whatever sense), the sentence seems confusing to me..
Here: https://gitlab.mpi-sws.org/FP/iris-coq/blob/master/docs/model.tex#L155
Without saying that \cal U
is the universe (in whatever sense), the sentence seems confusing to me..