A quick fix to prop 2.1, just to test #1
Open
laurentbartholdi
wants to merge 1 commits from laurentbartholdi/rubin-lean4:fix-prop-2.1 into main
1 Commits (main)
| Author | SHA1 | Date |
|---|---|---|
 laurentbartholdi
|
6815874923 | 10 months ago |