Mathlib v3 is deprecated. Go to Mathlib v4

Def V.add_comm_monoid

Modification history

2020-05-20 19:37
archive/sensitivity.lean
chore(archive/sensitivity): Clean up function coercion in sensitivity proof (depends on #2756) (#2758) …
Deleted V.add_comm_monoidView on Github →
2019-10-22 12:22
archive/sensitivity.lean
feat(archive): add proof of sensitivity conjecture (#1553) …
Added V.add_comm_monoidView on Github →