https://coq.inria.fr/refman/language/core/modules.html#grammar-token-import_categories
Last updated: Dec 05 2023 at 12:01 UTC