use Proper and rewrite from stdlib for monotonicity#14
Open
haansn08 wants to merge 1 commit intouds-psl:coq-8.16from
Open
use Proper and rewrite from stdlib for monotonicity#14haansn08 wants to merge 1 commit intouds-psl:coq-8.16from
haansn08 wants to merge 1 commit intouds-psl:coq-8.16from
Commits
Commits on Dec 28, 2022
- committed
Stefan Haan