Commit 2023-08-22 00:30 31bcfac8

View on Github →

feat: add a few missing lemmas about Covby and Wcovby (#6712)

Estimated changes

added theorem Covby.of_le_of_lt
added theorem Covby.of_lt_of_le
added theorem Wcovby.of_le_of_le'
added theorem Wcovby.of_le_of_le