Add missing "by" in theorem Int.ModEq.pow#37
Open
hansonchar wants to merge 1 commit intohrmacbeth:mainfrom
Open
Add missing "by" in theorem Int.ModEq.pow#37hansonchar wants to merge 1 commit intohrmacbeth:mainfrom
hansonchar wants to merge 1 commit intohrmacbeth:mainfrom
