Commit 2023-01-26 10:39 b2a022c0

View on Github →

fix: a typo (#1841)

Estimated changes

added theorem Filter.Iic_pure
deleted theorem Filter.iic_pure