けんき => YSITD: 像是 A->C |- (B->C)->(A->C) #5e287e7c8f3bb5603a1f9368

けんき says to YSITD

像是 A->C |- (B->C)->(A->C)

at Thu, Jan 23, 2020 12:55 AM