Commit 2024-08-11 11:38 0b0394f5

View on Github →

chore(Filter/Pi): add missing * in Type* (#15684)

Estimated changes

modified theorem Filter.hasBasis_pi