mathlib
a1cca04a - generalize unitization.lift and other lemmas to semirings

Commit

2 years ago

generalize unitization.lift and other lemmas to semirings

Author

j-loreaux

j-loreaux

Parents

Loading