mathlib
949d67ea - chore(*): add mathlib4 synchronization comments

Commit

2 years ago

chore(*): add mathlib4 synchronization comments

References

create-pull-request/patch

#19240 - chore(*): add mathlib4 synchronization comments

Author

leanprover-community-bot

leanprover-community-bot

Parents

Loading