Skip to content
Snippets Groups Projects
user avatar
Johannes Kloos authored
Infinity is described by having an injection from nat.
8389dcbf
History
Name Last commit Last update