Update src/tactic/chain_trans.lean - SemanticDiff

Commit

5 years ago

Update src/tactic/chain_trans.lean Co-authored-by: Bryan Gin-ge Chen <bryangingechen@gmail.com>

References

Author

cipher1024

cipher1024

Parents

Loading