coq: Perbedaan revisi

5.050

suntingan