Function parse_math_statements 

pub fn parse_math_statements(code: &str) -> Vec<String>

Split a Math-mode program into complete vernacular statements.

Handles both Coq-style (period-terminated) and the Literate forms (## To … functions, ## Theorem: blocks, A X is either … inductives).