Theorem foo''

Modification history

2024-06-24 21:15
test/old_obtain.lean
feat: lint against stream-of-conciousness obtain syntax (#13220) …
Added foo''View on Github →