mathlib
cfa447ec - chore(logic/hydra): tweak docs + minor golf (#14579)

Commit

3 years ago

chore(logic/hydra): tweak docs + minor golf (#14579) Co-authored-by: @alreadydone Co-authored-by: Junyan Xu <junyanxumath@gmail.com>

Author

vihdzp

Parents