Etymology

hypersequent

H4Y4P3E1R1S1E1Q10U1E1N1T1

Today it means: A multidimensional generalization of a sequent Full definition →

Ask AI about its historyChatGPTClaudePerplexityGoogle AIGrok