Theorem: Float3.x.arg_self.IsSmoothLinearMap_rule (test/deriving/structure_ops.lean)

State before:
⊢ IsSmoothLinearMap Float fun v => v.x
Tactic:
constructor <;> fun_prop
State after:
no goals