History of tag 08FC
type | time | link |
---|---|---|
changed the proof | 2017-08-05 | 6081c03 |
changed the statement and the proof | 2017-01-02 | 0e60864 |
assigned tag 08FC | 2012-12-27 | a419829 |
created statement with label lemma-flat-eq in sites-modules.tex | 2012-12-27 | 8888dd7 |