mathlib3
50f5d8be - docs(linear_algebra/bilinear_map): fix inconsistency in docstring (#9075)

Commit

4 years ago

docs(linear_algebra/bilinear_map): fix inconsistency in docstring (#9075)

Author

jcommelin

jcommelin

Parents

Loading