get_default_theory_mappings function

Get default theory mappings (fallback)

bidux package Read PDF manual

Maintainer: Jeremy Winget
License: MIT + file LICENSE
Last published: 2025-11-19
https://jrwinget.github.io/bidux/