mathlib3
feat(tactic/conv/apply_congr): using congruence lemmas inside conv
#2221
Merged
Merged