For example, \(1 = 1\) and \(2 = 2\) are both true; in a proof-irrelevant setting like Lean, simply mapping any proof of one to any proof of the other yields an isomorphism.
Момент удара ракеты по спутниковой станции в Израиле попал на видео20:56
，推荐阅读搜狗输入法获取更多信息
https://feedx.net
圖像來源，Oscar Wong/Getty Images