comap Galois connection

Commit

7 years ago

chore(linear_algebra/basic): relate map/comap/ker/range/comp with 0 and smul; use map/comap Galois connection

Author

johoelzl

Committer

johoelzl

Parents