PR #18570 feat(nat/basic): Properties of natural numbers

feat(nat/basic): Properties of natural numbers #18570

laughinggas wants to merge 9 commits into master from nat-properties

shifting lemmas

d39f9eca

all shifts done

cae0e44b

eric-wieser commented on 2023-03-11

made changes acc to comments

bbf2a4c8

dot notation

404adb0a

eric-wieser commented on 2023-03-14

kim-em added awaiting-author

kim-em added awaiting-CI

updates

8708fc09

github-actions added modifies-synchronized-file

errors removed from nat_prop

6ccb9568

github-actions removed awaiting-CI

eric-wieser commented on 2023-05-04

make lemmas iff

23a1c3b6

eric-wieser commented on 2023-05-05

proposed fix for diamond

1e2a040e

Merge branch 'nat-properties' of github.com:leanprover-community/math…

4065016e

kim-em added too-late

Reviewers

kbuzzard

eric-wieser

Assignees

No one assigned

Labels

awaiting-author modifies-synchronized-file too-late

Milestone

No milestone