History of tag 09EK
Go back to the tag's page.
| type |
time |
link |
|
changed the statement
|
2015-09-03 |
3b1a354 |
Existence of separable solutions in Epp
|
|
assigned tag 09EK
|
2013-08-14 |
5f65446
|
Tags: Added new tags
|
|
created statement with label definition-mixed in more-algebra.tex
|
2013-08-13 |
7d21f2e |
Level lowering in Epp's proof
The most intricate part is now done. Tried to make the mized
characteristic part of the proof resemble the characteristic p
part of the proof. It is clear that it works, but it is kind of
annoying to write down.
|