Commit 2024-08-16 22:15 d3a9d9c2

View on Github →

chore: Let gcongr know about Nat.cast_lt (#15879) From LeanAPAP

Estimated changes