Fri, 24 Sep 2021 22:23:26 +0200 | wenzelm | tuned proofs --- avoid 'guess'; | file | diff | annotate |
Mon, 04 Feb 2019 12:16:03 +0100 | Manuel Eberl | More material for HOL-Number_Theory: ord, Carmichael's function, primitive roots | file | diff | annotate |