History of tag 0E1W
type | time | link |
---|---|---|
changed the proof | 2021-11-19 | 5bd6deb |
changed the proof | 2020-11-13 | d49cd23 |
assigned tag 0E1W | 2017-07-05 | 8d0a2ad |
created statement with label lemma-upgrade-adjoint-tensor-RHom in more-algebra.tex | 2017-06-25 | 57c134d |