Top

Module mathcomp.test_suite.imset2_finset

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

Check @imset2_pair.