pi): `f.update i '' Icc a b = Icc (f.update i a) (f.update i b)` (#18892)

Commit

2 years ago

feat(data/set/intervals/pi): `f.update i '' Icc a b = Icc (f.update i a) (f.update i b)` (#18892) and corresponding lemmas for `pi.single`

Author

YaelDillies

Parents