src/HOL/Number_Theory/document/root.bib
4 months ago Manuel Eberl 2019-02-04 More material for HOL-Number_Theory: ord, Carmichael's function, primitive roots