Def foo
Modification history
2022-11-15 12:38
test/assert_exists/test_linter.lean
fix(tactic/assert_exists): avoid name collisions in linter declarations (#17550) …
Added fooView on Github →2022-06-30 19:45
test/has_scalar_comp_loop.lean
refactor(algebra/group/defs): rename has_scalar to has_smul (#14559) …
Modified fooView on Github →2022-03-19 17:43
test/lint_to_additive_doc.lean
chore(*): update to lean 3.42.0c (#12818)
Added fooView on Github →2021-10-13 15:48
test/has_scalar_comp_loop.lean
fix(group_theory/group_action): `has_scalar.comp.is_scalar_tower` is a dangerous instance (#9656) …
Added fooView on Github →2021-04-09 04:34
test/simps.lean
feat(tactic/simps): allow composite projections (#7074) …
Added fooView on Github →