basic): add a more convenient ext lemma for equality of sigma types over subtypes (#6257)

Commit

5 years ago

feat(data/sigma/basic): add a more convenient ext lemma for equality of sigma types over subtypes (#6257)

Author

eric-wieser

Parents