Mercurial > hg > Members > kono > Proof > category
comparison Comma1.agda @ 691:917e51be9bbf
change argument of Limit and K
author | Shinji KONO <kono@ie.u-ryukyu.ac.jp> |
---|---|
date | Sun, 12 Nov 2017 09:56:40 +0900 |
parents | 65e6906782bb |
children |
comparison
equal
deleted
inserted
replaced
690:3d41a8edbf63 | 691:917e51be9bbf |
---|