Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2021-06-09 20:42 3870896a

View on Github →

doc(data/semiquot): reformat module doc properly, and add missing doc strings (#7773)

Estimated changes

modified def semiquot.is_pure