History of tag 0G90
Go back to the tag's page.
| type |
time |
link |
|
assigned tag 0G90
|
2021-02-01 |
52667c8
|
Tags: added new tags
|
|
changed the proof
|
2021-01-24 |
333135d |
Add a proof in more-algebra
|
|
created statement with label lemma-ideal-factor-through-projective in more-algebra.tex
|
2021-01-23 |
c938231 |
Move some material earlier and expand
This name "I-projective" is kind of bad. Let me know if you have a
better name for modules with this property!
|