| Metric | Count |
|---|
Definitionsfst, snd, PullbackSelf, map_fst, map_snd, mapPullback, pullbackDiagonal, decidableMemDiagonal, decidableMemProd, toPullbackDiag | 10 |
Theoremsset_prod, set_prod, piCongrLeft_preimage_pi, piCongrLeft_preimage_univ_pi, piCongrLeft_symm_preimage_pi, piCongrLeft_symm_preimage_univ_pi, sumPiEquivProdPi_symm_preimage_univ_pi, preimage_pullbackDiagonal, pullback_comm_sq, set_prod, set_prod, set_pi, set_prod_left, set_prod_right, left_of_eqOn_prodMap, prodMap, right_of_eqOn_prodMap, fst, graphOn, prod, snd, offDiag_nonempty, offDiag_eq_empty, prod, compl_prod_eq_union, diag_image, diag_preimage_prod, diag_preimage_prod_self, diagonal_eq_univ, diagonal_eq_univ_iff, diagonal_nonempty, diagonal_subset_iff, disjoint_diagonal_offDiag, disjoint_pi, disjoint_prod, disjoint_univ_pi, empty_pi, empty_prod, eqOn_prodMap_iff, eqOn_prod_iff, eval_image_pi, eval_image_pi_of_notMem, eval_image_pi_subset, eval_image_univ_pi, eval_image_univ_pi_subset, eval_preimage, eval_preimage', exists_eq_mgraphOn_univ, exists_equiv_range_eq_graphOn_univ, exists_prod_set, exists_range_eq_graphOn_univ, forall_prod_set, fst_image_prod, fst_image_prod_subset, fst_injOn_graph, graphOn_comp, graphOn_empty, graphOn_eq_empty, graphOn_inj, graphOn_insert, graphOn_nonempty, graphOn_prod_graphOn, graphOn_prod_prodMap, graphOn_singleton, graphOn_union, graphOn_univ_eq_range, image_fst_graphOn, image_prodMk_subset_prod, image_prodMk_subset_prod_left, image_prodMk_subset_prod_right, image_snd_graphOn, image_swap_prod, insert_pi, insert_prod, inter_prod, mapsTo_fst_prod, mapsTo_snd_prod, mapsTo_swap_prod, mem_graphOn, mk_preimage_prod, mk_preimage_prod_left, mk_preimage_prod_left_eq_empty, mk_preimage_prod_left_eq_if, mk_preimage_prod_left_fn_eq_if, mk_preimage_prod_right, mk_preimage_prod_right_eq_empty, mk_preimage_prod_right_eq_if, mk_preimage_prod_right_fn_eq_if, offDiag_empty, offDiag_eq_empty, offDiag_eq_sep_prod, offDiag_insert, offDiag_inter, offDiag_mono, offDiag_nonempty, offDiag_singleton, offDiag_subset_prod, offDiag_union, offDiag_univ, piMap_image_pi, piMap_image_pi_subset, piMap_image_univ_pi, piMap_mapsTo_pi, pi_congr, pi_eq_empty, pi_eq_empty_iff, pi_eq_empty_iff', pi_if, pi_inter_compl, pi_inter_distrib, pi_mono, pi_mono', pi_nonempty_iff, pi_subset_pi_iff, pi_univ, pi_univ_ite, pi_update_of_mem, pi_update_of_notMem, preimage_coe_coe_diagonal, preimage_pi, preimage_prod_map_prod, preimage_swap_prod, prodMap_image_prod, prod_diff_prod, prod_empty, prod_eq_empty_iff, prod_eq_iff_eq, prod_eq_prod_iff, prod_eq_prod_iff_of_nonempty, prod_eq_univ, prod_image_image_eq, prod_insert, prod_inter, prod_inter_prod, prod_mono, prod_mono_left, prod_mono_right, prod_nonempty_iff, prod_preimage_eq, prod_preimage_left, prod_preimage_right, prod_range_range_eq, prod_range_univ_eq, prod_sdiff_diagonal, prod_self_ssubset_prod_self, prod_self_subset_prod_self, prod_singleton, prod_sub_preimage_iff, prod_subset_compl_diagonal_iff_disjoint, prod_subset_iff, prod_subset_preimage_fst, prod_subset_preimage_snd, prod_subset_prod_iff, prod_subset_prod_iff', prod_subset_prod_iff_left, prod_subset_prod_iff_right, prod_subset_prod_left, prod_subset_prod_right, prod_union, prod_univ, prod_univ_range_eq, range_const_eq_diagonal, range_diag, range_pair_subset, range_piMap, range_prodMap, singleton_pi, singleton_pi', singleton_prod, singleton_prod_singleton, snd_image_prod, snd_image_prod_subset, subset_eval_image_pi, subset_fst_image_prod_snd_image, subset_pi_eval_image, subset_pi_iff, subset_prod, subsingleton_univ_pi, uncurry_preimage_prod_pi, union_pi, union_pi_inter, union_prod, uniqueElim_preimage, univ_pi_empty, univ_pi_eq_empty, univ_pi_eq_empty_iff, univ_pi_eq_singleton_iff, univ_pi_ite, univ_pi_nonempty_iff, univ_pi_singleton, univ_pi_subset_univ_pi_iff, univ_pi_update, univ_pi_update_univ, univ_prod, univ_prod_univ, update_image, update_mem_pi_iff, update_mem_pi_iff_of_mem, update_preimage_pi, update_preimage_univ_pi, image_toPullbackDiag, injective_toPullbackDiag, preimage_map_fst_pullbackDiagonal, range_toPullbackDiag, toPullbackDiag_coe | 205 |
| Total | 215 |