Members/kono/Proof/galois: revision graph

graph

less more | rev 91: (0) +120 tip

...
2020-08-28, by Shinji KONO
...
2020-08-28, by Shinji KONO
...
2020-08-28, by Shinji KONO
...
2020-08-28, by Shinji KONO
tc fix
2020-08-27, by Shinji KONO
(x : Permutation 1 1 ) → x =p= pid
2020-08-26, by Shinji KONO
...
2020-08-26, by Shinji KONO
...
2020-08-26, by Shinji KONO
...
2020-08-26, by Shinji KONO
... pleq worked
2020-08-26, by Shinji KONO
plist0
2020-08-26, by Shinji KONO
...
2020-08-26, by Shinji KONO
...
2020-08-26, by Shinji KONO
...
2020-08-25, by Shinji KONO
...
2020-08-25, by Shinji KONO
rot3 corret?
2020-08-25, by Shinji KONO
3rot
2020-08-25, by Shinji KONO
...
2020-08-25, by Shinji KONO
...
2020-08-25, by Shinji KONO
add utilties
2020-08-24, by Shinji KONO
Added tag current for changeset 32004c9a70b1
2020-08-24, by Shinji KONO
sym2 done
2020-08-24, by Shinji KONO
...
2020-08-24, by Shinji KONO
...
2020-08-24, by Shinji KONO
∀-FL : (n : ℕ ) → List (FL (suc n))
2020-08-24, by Shinji KONO
...
2020-08-24, by Shinji KONO
...
2020-08-24, by Shinji KONO
postulate
2020-08-24, by Shinji KONO
...
2020-08-24, by Shinji KONO
...
2020-08-24, by Shinji KONO
another shrink
2020-08-24, by Shinji KONO
perm→FL done. pprep fix.
2020-08-24, by Shinji KONO
...
2020-08-23, by Shinji KONO
...
2020-08-23, by Shinji KONO
shrink worked
2020-08-23, by Shinji KONO
...
2020-08-23, by Shinji KONO
...
2020-08-23, by Shinji KONO
...
2020-08-23, by Shinji KONO
connected
2020-08-23, by Shinji KONO
...
2020-08-23, by Shinji KONO
...
2020-08-23, by Shinji KONO
...
2020-08-23, by Shinji KONO
remove (fromℕ≤ a<sa) perm is no good
2020-08-22, by Shinji KONO
cleanup
2020-08-21, by Shinji KONO
enumerating permutation done
2020-08-21, by Shinji KONO
eperm done?
2020-08-21, by Shinji KONO
...
2020-08-21, by Shinji KONO
start again
2020-08-20, by Shinji KONO
this pconcat is no good
2020-08-20, by Shinji KONO
...
2020-08-20, by Shinji KONO
...
2020-08-20, by Shinji KONO
...
2020-08-20, by Shinji KONO
...
2020-08-20, by Shinji KONO
...
2020-08-20, by Shinji KONO
emumelation done
2020-08-19, by Shinji KONO
...
2020-08-19, by Shinji KONO
...
2020-08-19, by Shinji KONO
inductive
2020-08-19, by Shinji KONO
...
2020-08-19, by Shinji KONO
...
2020-08-19, by Shinji KONO
fperm connected
2020-08-19, by Shinji KONO
...
2020-08-19, by Shinji KONO
...
2020-08-19, by Shinji KONO
try again
2020-08-19, by Shinji KONO
dead end
2020-08-19, by Shinji KONO
...
2020-08-19, by Shinji KONO
...
2020-08-19, by Shinji KONO
...
2020-08-19, by Shinji KONO
...
2020-08-18, by Shinji KONO
...
2020-08-18, by Shinji KONO
...
2020-08-18, by Shinji KONO
...
2020-08-18, by Shinji KONO
...
2020-08-18, by Shinji KONO
...
2020-08-18, by Shinji KONO
...
2020-08-18, by Shinji KONO
...
2020-08-18, by Shinji KONO
...
2020-08-17, by Shinji KONO
Gutil
2020-08-17, by Shinji KONO
...
2020-08-17, by Shinji KONO
...
2020-08-17, by Shinji KONO
...
2020-08-17, by Shinji KONO
...
2020-08-17, by Shinji KONO
...
2020-08-17, by Shinji KONO
deriving-inv done
2020-08-17, by Shinji KONO
...
2020-08-17, by Shinji KONO
...
2020-08-17, by Shinji KONO
...
2020-08-16, by Shinji KONO
add Solvable
2020-08-16, by Shinji KONO
Permutation Group
2020-08-16, by Shinji KONO
...
2020-08-16, by Shinji KONO
...
2020-08-16, by Shinji KONO
Permutation group
2020-08-16, by Shinji KONO

less more | rev 91: (0) +120 tip

Mercurial > hg > Members > kono > Proof > galois

graph