RSS

riceissa

Karma: 452
Page 1

In­ver­sion of the­o­rems into defi­ni­tions when generalizing

riceissa
4 Aug 2019 17:44 UTC
24 points
3 comments5 min readLW link