mathlib
1ee4d883 - have + rcases = obtain

Commit
5 years ago
have + rcases = obtain
Author
Parents
Loading