path: root/mathcomp/test_suite/imset2_finset.v

From mathcomp Require Import all_ssreflect.
Set Implicit Arguments.
Unset Strict Implicit.
Unset Printing Implicit Defensive.

Check @imset2_pair.