metamath / metamath-exe

Metamath program - source code for the Metamath executable
GNU General Public License v2.0
77 stars 25 forks source link

Feature request: add an allowed bibliographic keyword #96

Closed benjub closed 2 years ago

benjub commented 2 years ago

As MM> HELP WRITE BIBLIOGRAPHY indicates,

The <keyword>, which is not case-sensitive, must be one of the following:

    Axiom, Chapter, Claim, Compare, Conclusion, Condition, Conjecture,
    Corollary, Definition, Equation, Example, Exercise, Fact, Figure,
    Introduction, Item, Lemma, Lemmas, Line, Lines, Notation, Note,
    Observation, Paragraph, Part, Postulate, Problem, Proof, Property,
    Proposition, Remark, Result, Rule, Scheme, Scolia, Scolion, Section,
    Statement, Subsection, Table, Theorem

Can we add the allowed keyword Criterion which sometimes comes up in textbooks ? (I have a specific example from Bourbaki (for ~ishmeo) that I'd like to cite correctly in a comment.)