3 kyu

I~ transport lemmas so right, proving the wrong thing

Description
Loading description...
Fundamentals
View
AllIssuesQuestionsSuggestionsShow Resolved
Ad
Ad