Mathlib Changelog
v3
Changelog
About
Github
Mathlib v3 is deprecated.
Go to Mathlib v4
Commit
2018-10-01 18:10
4ba7f234
View on Github →
cleanup(data/holor)
Estimated changes
Modified
data/holor.lean
modified
theorem
holor.cast_type
modified
def
holor
modified
theorem
holor_index.cast_type
modified
def
holor_index
Modified
data/list/basic.lean
modified
theorem
list.drop_drop