Mercurial > hg > Members > kono > Proof > category
diff LICENSE.md @ 977:8ffdc897f29b
fix Topos equalizer iso
author | Shinji KONO <kono@ie.u-ryukyu.ac.jp> |
---|---|
date | Tue, 02 Mar 2021 17:56:31 +0900 |
parents | ac53803b3b2a |
children |
author | Shinji KONO <kono@ie.u-ryukyu.ac.jp> |
---|---|
date | Tue, 02 Mar 2021 17:56:31 +0900 |
parents | ac53803b3b2a |
children |