Mercurial > hg > Members > kono > Proof > galois

log src/fundamental.agda @ 257:d500309866da

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
less more | (0) tip
age author description
Sun, 29 May 2022 10:09:02 +0900 Shinji KONO fundamental theorem on homomorphisms
less more | (0) tip