Oct 8 9 days ago

1. 03:34

   Put the organism first and move serialization, sizes and the Rocq map to appendices

   phanerozoic
   5ee1fb5
2. 00:24

   Prove the folded host of Remark 3.9 and Lemmas 8.1 and 8.2 in Rocq, and revise the paper

   phanerozoic
   a9a489a