Determinant of some matrices of field elements (0)

by Yatsuka Nakamura
Venue:Formalized Mathematics