Commit 2022-08-03 16:27 acc7dfa5
View on Github →chore(set_theory/surreal/basic): golf an instance (#15838)
subtype.setoid
is defeq to this manually specified instance.
chore(set_theory/surreal/basic): golf an instance (#15838)
subtype.setoid
is defeq to this manually specified instance.