Theorem subset_trans
Modification history
2023-02-22 14:18
Mathlib/Order/RelClasses.lean
chore: update SHA of already forward-ported files (#2181) …
Modified subset_transView on Github →2023-01-25 21:06
Mathlib/Order/RelClasses.lean
Feat: prove `IsTrans α r → Trans r r r` and `Trans r r r → IsTrans α r` (#1522) …
Modified subset_transView on Github →