Mercurial > hg > Members > kono > Proof > category
comparison 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 |
comparison
equal
deleted
inserted
replaced
976:73fd14a73d49 | 977:8ffdc897f29b |
---|