Def ToAdditive.copyInstanceAttribute

Modification history

2022-11-24 02:16
Mathlib/Tactic/ToAdditive.lean
chore: to_additive adds instances (#678)
Added ToAdditive.copyInstanceAttributeView on Github →