Search
❯
Jun 05, 20261 min read
Let be a limit Ordinal. A collection of -Structures is a chain if for all :