Def F.val

Modification history

2022-10-06 10:46
counterexamples/zero_divisors_in_add_monoid_algebras.lean
feat(counterexamples/zero_divisors_in_add_monoid_algebras + data/finsupp/lex): add a counterexample (#16236) …
Added F.valView on Github →