-
Glen Mével authored
i.e. all `big_op` lemmas that have a `TCOr` side condition.
cb10c41d
To find the state of this project's repository at the time of any of these versions, check out the tags.
i.e. all `big_op` lemmas that have a `TCOr` side condition.