Skip to content

adapt to the removal of the conjC notation from classfun.v

d12b42e
Select commit
Loading
Failed to load commit list.
Merged

Adapt to math-comp/math-comp#1404 #75

adapt to the removal of the conjC notation from classfun.v
d12b42e
Select commit
Loading
Failed to load commit list.