Commit 2023-08-18 20:40 4e21b60a

View on Github →

feat: Fin.cons_one (#6649)

Estimated changes

added theorem Fin.cons_one