ThmDex – An index of mathematical definitions, results, and conjectures.
Examples
E789: (on D6263)
E785: Symmetric (or secret key) cryptosystem scheme (on D468)