mathlib3
dd4d8e6a - feat(logic/hydra): basic lemmas on `cut_expand` (#14408)

Commit

3 years ago

feat(logic/hydra): basic lemmas on `cut_expand` (#14408) Co-authored-by: Junyan Xu <junyanxumath@gmail.com>

Author

vihdzp

Parents