Mathlib Changelog
v3
Changelog
About
Github
Mathlib v3 is deprecated.
Go to Mathlib v4
Def
relator.lift_fun
Modification history
2019-01-20 22:50
src/logic/relator.lean
feat(meta, logic, tactic): lean 3.4.2: migrate coinductive_predicates, transfer, relator (#610)
Added
relator.lift_fun
View on Github →