Post #1846842

@jonmsterling I bet you chose the double negation in "Univalence isn't non-useful for classical mathematics" so the sentence is valid constructively, but I, as a classical mathematician, will simplify it to "univalence is useful in classical mathematics". 😛