Mercurial > hg > Members > kono > Proof > category

log

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
less more | rev 194: (0) -100 -30 -10 -8 +8 +10 +30 +100 +300 tip
age author description
2013-08-30 Shinji KONO F2Nat→Nat2F done
2013-08-30 Shinji KONO isomorphic problem written
2013-08-30 Shinji KONO F(a) → Nat(h_a,F) done
2013-08-30 Shinji KONO nat continue...
2013-08-29 Shinji KONO one to one nat
2013-08-29 Shinji KONO fix
2013-08-29 Shinji KONO Yoneda Functor Constructed
2013-08-28 Shinji KONO hint
Loading...
less more | rev 194: (0) -100 -30 -10 -8 +8 +10 +30 +100 +300 tip