basic): `x ∈ R ∙ y` is a transitive relation (#10943)

Commit

3 years ago

feat(order/galois_connection, linear_algebra/basic): `x ∈ R ∙ y` is a transitive relation (#10943)

Author

ADedecker

Parents