chore(*): golf some proofs (#10575) - SemanticDiff

Commit

4 years ago

chore(*): golf some proofs (#10575) Also add `strict_mono_on.monotone_on` and `strict_anti_on.antitone_on`.

Author

urkud

urkud

Parents

Loading