Follow
Double negation stable h-propositions in cubical sets. (arXiv:2209.15035v1 [math.LO]) http://arxiv.org/abs/2209.15035
Double negation stable h-propositions in cubical sets. (arXiv:2209.15035v1 [math.LO]) http://arxiv.org/abs/2209.15035