((∑[T𝒰]∏A∈T]A≃1
@suhorng
Wed, Jan 22, 2020 8:16 AM
除了敘述不那麼好懂我覺得也頗要想一下的
Andrej Bauer on Twitter
西呱呱
@watermelonc
Wed, Jan 22, 2020 9:22 AM
看完第一遍也以為是if and only if QQ
載入新的回覆