Mathlib Changelog
v3
Changelog
About
Github
Mathlib v3 is deprecated.
Go to Mathlib v4
Commit
2020-04-03 04:11
1b24e0a0
View on Github →
chore(test/*): move tests into individual files (
#2317
)
Estimated changes
Created
test/back_chaining.lean
added
theorem
inter_def
added
theorem
subset_def
added
theorem
subset_inter
added
theorem
union_def
added
theorem
union_subset
Created
test/choose.lean
Modified
test/coinductive.lean
Modified
test/examples.lean
deleted
inductive
either
deleted
def
ex
deleted
theorem
inter_def
deleted
structure
my_struct2
deleted
structure
my_struct
deleted
inductive
my_tree
deleted
inductive
rec_data3
deleted
theorem
subset_def
deleted
theorem
subset_inter
deleted
theorem
union_def
deleted
theorem
union_subset
deleted
def
x
Modified
test/ext.lean
deleted
def
my_bar
deleted
def
my_foo
Created
test/refine_struct.lean
added
def
my_bar
added
def
my_foo
Created
test/traversable.lean
added
inductive
either
added
def
ex
added
structure
my_struct2
added
structure
my_struct
added
inductive
my_tree
added
inductive
rec_data3
added
def
x