Metadata aliases: [] shorthands: {} created: 2021-12-10 21:08:27 modified: 2022-01-10 04:13:04 is a vector space over the field , is a linear map.
aliases: [] shorthands: {} created: 2021-12-10 21:08:27 modified: 2022-01-10 04:13:04
Statement: If and , then their intersection:
If , then
This if , then . QED