mathlib
867bc5ea - experiment basic4 seems to be the best metonymic approach so far

Commit

5 years ago

experiment basic4 seems to be the best metonymic approach so far

Author

kmill

kmill

Committer

kmill

kmill

Parents

Loading