Ssreflect.fintype
From MaRDI portal
swMATH21574MaRDI QIDQ33380FDOQ33380
Author name not available (Why is that?)
Official website: http://ssr.msr-inria.inria.fr/doc/ssreflect-1.5/Ssreflect.fintype.html
Cited In (2)
This page was built for software: Ssreflect.fintype
