File tree Expand file tree Collapse file tree
Expand file tree Collapse file tree Original file line number Diff line number Diff line change @@ -71,7 +71,7 @@ Some extra material for mathcomp
7171
7272 [ The last digit of n^5 is the same than the one of n] ( ./power5.v )
7373
74- [ Definition of factorions and how many they are] ( ./factorion.v )
74+ [ Definition of factorions and how many there are] ( ./factorion.v )
7575
7676 [ Definition of circular primes and some properties] ( ./cprime.v )
7777
Original file line number Diff line number Diff line change @@ -71,7 +71,7 @@ Some extra material for mathcomp
7171
7272 [The last digit of n^5 is the same than the one of n](./power5.v)
7373
74- [Definition of factorions and how many they are](./factorion.v)
74+ [Definition of factorions and how many there are](./factorion.v)
7575
7676 [Definition of circular primes and some properties](./cprime.v)
7777
Original file line number Diff line number Diff line change @@ -68,7 +68,7 @@ description: |-
6868
6969 [The last digit of n^5 is the same than the one of n](./power5.v)
7070
71- [Definition of factorions and how many they are](./factorion.v)
71+ [Definition of factorions and how many there are](./factorion.v)
7272
7373 [Definition of circular primes and some properties](./cprime.v)
7474
You can’t perform that action at this time.
0 commit comments