Mathlib v3 is deprecated. Go to Mathlib v4

Theorem pi.star_def

Modification history

2021-10-08 10:04
src/algebra/star/pi.lean
feat(algebra/star/algebra): generalize to modules (#9484) …
Added pi.star_defView on Github →