basic): sum_compl_apply and others (#961)

Commit

6 years ago

feat(data/equiv/basic): sum_compl_apply and others (#961) * feat(data/equiv/basic): sum_congr_apply and others * Update basic.lean

References

Author

ChrisHughes24

Parents