History of tag 05PD
type | time | link |
---|---|---|
changed the statement | 2016-10-25 | cd9203d |
changed the proof | 2013-12-22 | e179438 |
assigned tag 05PD | 2011-01-23 | 4d0565f |
created statement with label lemma-universally-separating in flat.tex | 2011-01-13 | 4cc9329 |