Ssreflect.fintype

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)

• From Sets to Bits in Coq
• MathComp.tuple

This page was built for software: Ssreflect.fintype