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

added theorem inter_def
added theorem subset_def
added theorem subset_inter
added theorem union_def
added theorem union_subset
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
deleted def my_bar
deleted def my_foo
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