src/HOL/Number_Theory/Modular_Inverse.thy
Tue, 15 Apr 2025 17:38:20 +0200 Manuel Eberl lots of lemmas for HOL, HOL-{Complex_}Analysis, HOL-Number_Theory
less more (0) tip