Is this where typos go?
Typo: some of the hover-boxes say nu but seem to be referring to the letter mu.
Thank you, I’ll have to clarify that. For now, ν is a general world-model, and μ is a specific one, so in the hover text, I explain the notation with a general case. But I see how that’s confusing.
Yes, but this is also for things that seem like mistakes in the exposition, but either have simple fixes or don’t impact the main theorems.
Is this where typos go?
Typo: some of the hover-boxes say nu but seem to be referring to the letter mu.
Thank you, I’ll have to clarify that. For now, ν is a general world-model, and μ is a specific one, so in the hover text, I explain the notation with a general case. But I see how that’s confusing.
Yes, but this is also for things that seem like mistakes in the exposition, but either have simple fixes or don’t impact the main theorems.