data.nat.cast.cast is too general to be an instance
Apr 17, 2019 by
Nightly distribution of mathlib appears to be broken
Jan 29, 2019 by
transporting definitions and theorems along isomorphisms.
Oct 8, 2018 by
Organize some directories separated by definitions and theorems
Jun 1, 2018 by
Naming convention for binary theorems with left and right RFC
Apr 30, 2018 by
ProTip! Mix and match filters to narrow down what you’re looking for.