mathlib
9d47b28b - feat(data): Mark all `sqrt`s as `@[pp_nodot]` (#3337)

Commit

5 years ago

feat(data): Mark all `sqrt`s as `@[pp_nodot]` (#3337)

Author

shingtaklam1324

shingtaklam1324

Parents

Loading