Mathlib Changelog
v3
Changelog
About
Github
Mathlib v3 is deprecated.
Go to Mathlib v4
Commit
2021-08-23 10:17
f98fc005
View on Github →
docs(logic/relation): add module docstring (
#8773
) Also fix whitespaces
Estimated changes
Modified
src/logic/relation.lean
modified
def
relation.comp
modified
def
relation.join
modified
theorem
relation.refl_gen.to_refl_trans_gen
modified
theorem
relation.refl_trans_gen.cases_head
modified
theorem
relation.refl_trans_gen.cases_head_iff
modified
theorem
relation.refl_trans_gen.cases_tail
modified
theorem
relation.refl_trans_gen_iff_eq
modified
theorem
relation.transitive_join