factorial): tidy (#13436)

Commit

3 years ago

chore(data/nat/factorial): tidy (#13436) I noticed this file had non-terminal simps, so I tidied it a little whilst removing them.

Author

ericrbg

Parents