History of tag 05P4
type | time | link |
---|---|---|
changed the statement | 2016-10-16 | 80f12ef |
changed the proof | 2011-08-10 | 65ce54f |
assigned tag 05P4 | 2011-01-23 | 4d0565f |
created statement with label lemma-flat-at-point-finite in flat.tex | 2011-01-13 | 8848d08 |