Def pi.single
Modification history
2022-02-11 07:37
src/data/pi.lean
feat(data/pi): provide `pi.mul_single` (#11849) …
Deleted pi.singleView on Github →2020-10-30 14:20
src/algebra/group/pi.lean
feat(algebra, logic): Pi instances for nontrivial and monoid_with_zero (#4766)
Modified pi.singleView on Github →