mathlib
6ba7824c - feat(data): define a `fun_like` class of all types of a function + proofs

Commit

4 years ago

feat(data): define a `fun_like` class of all types of a function + proofs

Author

Vierkantor

Vierkantor

Parents

Loading