Def f
Modification history
2022-01-28 13:31
test/squeeze.lean
fix(tactic/squeeze): `squeeze_simp` providing invalid suggestions (#11696) …
Added fView on Github →2022-01-09 18:06
test/lint_simp_nf.lean
chore(*): update to 3.37.0c (#11325) …
Modified fView on Github →2021-07-27 10:18
test/equiv.lean
feat(logic/embedding): add a coe instance from equiv to embeddings (#8323)
Added fView on Github →2020-07-25 04:26
docs/tutorial/category_theory/calculating_colimits_in_Top.lean
feat(topology/tactic): `continuity` tactic (#2879)
Modified fView on Github →2020-07-22 05:08
docs/tutorial/category_theory/calculating_colimits_in_Top.lean
chore(topology/category/): switch to bundled morphisms in Top (#3506) …
Modified fView on Github →2020-04-24 01:03
test/simp_command.lean
feat(cmd/simp): let `#simp` use declared `variables` (#2478) …
Modified fView on Github →2020-04-21 10:37
test/simp_command.lean
feat(tactic/#simp): a user_command for #simp (#2446) …
Added fView on Github →2020-03-22 17:01
src/tactic/doc_commands.lean
feat(tactic/doc_commands): allow doc strings on add_tactic_doc (#2201) …
Added fView on Github →2020-02-21 17:46
test/lint_simp_nf.lean
feat(tactic/lint): check that left-hand side of all simp lemmas is in simp-normal form (#2017) …
Added fView on Github →2019-05-15 09:44
test/terminal_goal.lean
feat(tactic/terminal_goal): determine if other goals depend on the current one (#984) …
Added fView on Github →