dual_pairs
dual_pairs.abelian_group_homomorphism
dual_pairs.abelian_sheaf
dual_pairs.class_group
dual_pairs.dual_pair
dual_pairs.dual_pair_from_dihedral_field
dual_pairs.dual_pair_from_table
dual_pairs.dual_pair_import
dual_pairs.dual_pair_rational
dual_pairs.ext_group
dual_pairs.extension
dual_pairs.finite_flat_algebra
dual_pairs.finite_flat_algebra_element
dual_pairs.finite_flat_algebra_module
dual_pairs.group_structure
dual_pairs.padic_roots
dual_pairs.selmer_group
dual_pairs.simplicial_sheaf
dual_pairs.smith_form
dual_pairs.torsor_class_group
dual_pairs.torsor_pair
dual_pairs.unit_group