I was quite surprised to not find lemmas like this when I just was looking for them...
00:04:55
3 years ago
No artifacts found
00:04:28