History of tag 0G3A
| type | time | link |
|---|---|---|
| changed the proof | 2024-06-17 | 0930990 |
| assigned tag 0G3A | 2020-11-17 | 45d0041 |
| changed the statement | 2020-09-17 | 8ac3be3 |
| created statement with label lemma-essentially-constant-2-out-of-3 in derived.tex | 2020-09-08 | 0e3710a |