basic): add nil coe lemma (#16181)

Commit

3 years ago

feat(data/sym/basic): add nil coe lemma (#16181) add simple coe lemma for sym.nil

Author

pimotte

Parents