mathlib3
feat(tactic/apply'): apply without unfolding type definitions
#1234
Merged
Merged