History of tag 093B
| type | time | link |
|---|---|---|
| changed the proof | 2020-06-05 | ba36ab5 |
| changed the statement | 2014-01-17 | 92a63a6 |
| assigned tag 093B | 2013-06-11 | 855db3b |
| created statement with label lemma-module-quotient-direct-sum in sites-modules.tex | 2013-06-06 | 19b19bf |