mathlib3
cf4c49c4
- chore(data/real/cau_seq_completion): remove use of `parameters` (#18122)
Go
Login via GitHub
Home
Pricing
FAQ
Install
Login
via GitHub
Commit
View On
GitHub
Commit
2 years ago
chore(data/real/cau_seq_completion): remove use of `parameters` (#18122) This helps with porting
Author
eric-wieser
Parents
3879543c
Loading