Commit 2024-06-30 07:04 c2d86863
View on Github →feat(SetTheory/Game/PGame): equiv_def and missing Trans instances (#14277) add equiv_def and missing Trans instances to PGame
feat(SetTheory/Game/PGame): equiv_def and missing Trans instances (#14277) add equiv_def and missing Trans instances to PGame