src/HOL/Number_Theory/Cong.thy
changeset 39072 1030b1a166ef
parent 37293 2c9ed7478e6e
child 41541 1fa4725c4656