search

gavryushkin / curvatureNNI

What is an elementary modification of a discrete time-tree? Exploring the geometry and Ricci-Ollivier curvature of discrete phylogenetic time-trees.
1 stars 0 forks source link

Editor comment 3 #12

Closed gavryushkin closed 7 years ago

gavryushkin commented 7 years ago

Turn footnotes in the proofs into proper definitions and move definitions outside the proof of a statement if the concept is used later on again.

gavryushkin commented 7 years ago

We decided to get rid of footnotes entirely and checked carefully that all definitions given inside proofs are only used in those proofs.