mathlib3
bf2109db - Update chain_trans.lean

Login via GitHub
Home
Pricing
FAQ
Install

Login via GitHub

Commit

5 years ago

Update chain_trans.lean

Author

cipher1024

cipher1024

Parents

FAQ Terms Privacy Refunds Impressum

Loading