Commit 2020-10-31 08:43 6a449305
View on Github →refactor(data/pnat): move data.pnat.prime (#4839)
Remove the dependency data.pnat.basic -> data.nat.prime
. Needed for #4822.
refactor(data/pnat): move data.pnat.prime (#4839)
Remove the dependency data.pnat.basic -> data.nat.prime
. Needed for #4822.