Skip to content

fix: naming convention

744e110
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
Open

[ deprecate ] names for deMorgan lemmas in Relation.Nullary.Negation #2838

fix: naming convention
744e110
Select commit
Loading
Failed to load commit list.