Commit 2022-04-25 11:19 4bfae3d8
View on Github →feat(set_theory/game/pgame): remove nolint (#13680)
We remove @[nolint has_inhabited_instance] from left_moves and right_moves by providing the appropriate instances for star.
feat(set_theory/game/pgame): remove nolint (#13680)
We remove @[nolint has_inhabited_instance] from left_moves and right_moves by providing the appropriate instances for star.