けんき says to YSITD
還有C |- (A->C)
at Thu, Jan 23, 2020 12:55 AM