mathlib3
79e309b7 - feat(set_theory/game/pgame): Define `is_option` relation (#13700)

Commit

3 years ago

feat(set_theory/game/pgame): Define `is_option` relation (#13700)

Author

vihdzp

vihdzp

Parents

Loading