mathlib
247dcb2d - feat(linear_algebra): rules for kernel of `of_le`, `cod_restrict`, and `pair`

Commit

6 years ago

feat(linear_algebra): rules for kernel of `of_le`, `cod_restrict`, and `pair`

Author

johoelzl

johoelzl

Committer

johoelzl

johoelzl

Parents

Loading