unmatched times

algebra/archimedean.lean                          [15.7, 11.5]
algebra/big_operators.lean                        [5.27, 43.9, 37.1, 1.12]
algebra/char_zero.lean                            [1.41]
algebra/default.lean                              [8.87, 7.06]
algebra/euclidean_domain.lean                     [3.19, 1.67]
algebra/field.lean                                [4.26, 2.76]
algebra/field_power.lean                          [8.97, 5.86]
algebra/gcd_domain.lean                           [3.79, 8.71, 4.72]
algebra/group.lean                                [35.1, 26.9, 1.55]
algebra/group_power.lean                          [39.3, 31.7]
algebra/module.lean                               []
algebra/order.lean                                [3.97, 2.31]
algebra/order_functions.lean                      [3.1, 1.43]
algebra/ordered_field.lean                        [9.26, 4.46]
algebra/ordered_group.lean                        [7.21, 3.78]
algebra/ordered_ring.lean                         [3.89, 5.01, 2.31]
algebra/pi_instances.lean                         [8.82, 5.19]
algebra/ring.lean                                 [428, 6.03, 352, 9.12]
analysis/bounded_linear_maps.lean                 [238, 4.1, 194, 5.87]
analysis/complex.lean                             [380, 5.72, 321, 8.77]
analysis/ennreal.lean                             [423, 6.75, 354, 10.4]
analysis/limits.lean                              [332, 6.03, 274, 9.08]
analysis/measure_theory/borel_space.lean          [1.25, 798, 12.6, 691, 21.4, 1.31]
analysis/measure_theory/lebesgue_measure.lean     [39.1, 33.4, 1.06]
analysis/measure_theory/measurable_space.lean     [1.19, 944, 15.4, 814, 23.7, 1.7]
analysis/measure_theory/measure_space.lean        [680, 10.4, 574, 15.8, 1.06]
analysis/measure_theory/outer_measure.lean        [288, 5.04, 239, 7]
analysis/metric_space.lean                        [397, 6, 330, 9]
analysis/nnreal.lean                              [433, 6.16, 348, 9.27]
analysis/normed_space.lean                        [403, 6.1, 340, 9.33]
analysis/probability_mass_function.lean           [257, 4.39, 206, 7.17]
analysis/real.lean                                [47.3, 1.7, 34.4, 2.78]
analysis/topology/continuity.lean                 [301, 4.89, 249, 6.68]
analysis/topology/infinite_sum.lean               [125, 2.14, 107, 3.07]
analysis/topology/topological_space.lean          [185, 3.16, 153, 4.64]
analysis/topology/topological_structures.lean     [143, 2.45, 109, 3.63]
analysis/topology/uniform_space.lean              [2.46, 1.27]
category/applicative.lean                         [1.21]
category/basic.lean                               []
category/functor.lean                             []
category/traversable/basic.lean                   [1.2]
category/traversable/default.lean                 [4.53, 2.46]
category/traversable/derive.lean                  [12.8, 9.79]
category/traversable/equiv.lean                   [2.48, 1.66]
category/traversable/instances.lean               [2.06, 1.23]
category/traversable/lemmas.lean                  [2.13, 1.28]
category_theory/category.lean                     [330, 5.55, 269, 8.78]
category_theory/embedding.lean                    []
category_theory/examples/measurable_space.lean    [1.2]
category_theory/examples/monoids.lean             [2.51, 1.51]
category_theory/examples/rings.lean               [1.14]
category_theory/examples/topological_spaces.lean  []
category_theory/full_subcategory.lean             []
category_theory/functor.lean                      [6.4, 4.16]
category_theory/functor_category.lean             [14.6, 9.29]
category_theory/isomorphism.lean                  [2.74, 1.58]
category_theory/natural_isomorphism.lean          [1.61]
category_theory/natural_transformation.lean       [11.4, 7.58]
category_theory/opposites.lean                    [2.11, 1.39]
category_theory/products.lean                     [23.7, 14.9]
category_theory/types.lean                        [25.1, 18.5, 1.14]
category_theory/yoneda.lean                       [53.7, 1.21, 37.6, 2.64]
computability/halting.lean                        [66.2, 1.44, 47, 6.95]
computability/partrec.lean                        [50.7, 2.57, 32.4, 6.81]
computability/partrec_code.lean                   [168, 3.66, 135, 10.9]
computability/primrec.lean                        []
computability/turing_machine.lean                 [14.6, 9.43]
core/data/list.lean                               [28.8, 21.1]
core/default.lean                                 [14.8, 9.98]
data/analysis/filter.lean                         [5.89, 2.45]
data/analysis/topology.lean                       [5.62, 4.52]
data/array/lemmas.lean                            []
data/bool.lean                                    [130, 1.08, 112, 1.28]
data/buffer/basic.lean                            []
data/char.lean                                    []
data/complex/basic.lean                           [13.7, 1.05, 6.86, 1.17]
data/dlist/basic.lean                             [6.24, 4.95]
data/dlist/instances.lean                         [4.94, 2.77]
data/equiv/basic.lean                             [15.3, 9.73]
data/equiv/denumerable.lean                       []
data/equiv/encodable.lean                         []
data/equiv/list.lean                              []
data/equiv/nat.lean                               [324, 3.07, 343, 4.21]
data/erased.lean                                  [5.84, 129, 1.63, 101, 2.4]
data/fin.lean                                     [34.6, 23.7, 1]
data/finset.lean                                  [3.49, 1.76]
data/finsupp.lean                                 [20.7, 13.5, 2.92]
data/fintype.lean                                 [40.5, 2.44, 26.6, 2.99]
data/fp/basic.lean                                [17.5, 13.4]
data/hash_map.lean                                [4.53, 3.38]
data/int/basic.lean                               [2.44, 1.33]
data/int/gcd.lean                                 [1.99, 193, 7.53, 136, 12]
data/int/modeq.lean                               [23.3, 1.64, 14.4, 3.57]
data/lazy_list2.lean                              [5.94, 3.37]
data/list/basic.lean                              [2.73, 241, 4.06, 209, 6.59]
data/list/default.lean                            [9.65, 1.08, 4.2, 1.41]
data/list/perm.lean                               [1.54]
data/list/sort.lean                               [2.74, 1.44]
data/multiset.lean                                [2.43, 1.1]
data/nat/basic.lean                               [1.09]
data/nat/binomial.lean                            []
data/nat/cast.lean                                [3.82, 2.98]
data/nat/choose.lean                              [5.77, 4.44]
data/nat/dist.lean                                [7.68, 3.17]
data/nat/gcd.lean                                 [4.13, 2.81]
data/nat/modeq.lean                               [1.44]
data/nat/pairing.lean                             []
data/nat/prime.lean                               [47.8, 3.32, 27.4, 4.29]
data/nat/sqrt.lean                                [4.53, 2.77]
data/num/basic.lean                               [1.67]
data/num/bitwise.lean                             [45.4, 1.03, 37.3, 1.72]
data/num/lemmas.lean                              [65.9, 53.4, 2.1]
data/option.lean                                  [6.69, 4.07]
data/padics/padic_integers.lean                   []
data/padics/padic_norm.lean                       [180, 3.25, 151, 4.29]
data/padics/padic_rationals.lean                  []
data/pfun.lean                                    []
data/pnat.lean                                    [90.7, 2.51, 73.1, 4.77]
data/polynomial.lean                              [63.9, 1.46, 48.1, 2.36, 1.01]
data/prod.lean                                    [36.3, 26.7, 2.31]
data/quot.lean                                    [15.4, 9.18]
data/rat.lean                                     [89.7, 78.5, 1.4]
data/real/basic.lean                              [1.88, 1.29]
data/real/cau_seq.lean                            [37.3, 27]
data/real/cau_seq_completion.lean                 [3.56, 2.28]
data/real/ennreal.lean                            [15.5, 1.44, 9.79, 2.35]
data/real/irrational.lean                         [10.1, 8.71, 2.19]
data/real/nnreal.lean                             [25.1, 1.54, 21.3, 2.66]
data/semiquot.lean                                [79.1, 2.96, 72.3, 5.08]
data/seq/computation.lean                         [82.8, 1.79, 65.7, 1.69]
data/seq/parallel.lean                            [11, 12.3]
data/seq/seq.lean                                 [5.19, 3.66]
data/seq/wseq.lean                                [10.9, 8.9]
data/set/basic.lean                               [31.9, 32.8]
data/set/countable.lean                           []
data/set/default.lean                             [6.31, 4.61]
data/set/disjointed.lean                          [35.7, 1, 27, 1.19]
data/set/enumerate.lean                           []
data/set/finite.lean                              [2.02, 1.16]
data/set/function.lean                            []
data/set/intervals.lean                           []
data/set/lattice.lean                             [12.2, 8.98]
data/sigma/basic.lean                             [19.7, 14.9]
data/sigma/default.lean                           [1.87, 1.21]
data/stream/basic.lean                            [3.52, 1.96]
data/string.lean                                  [14.5, 10.4, 6.69]
data/subtype.lean                                 [4.87, 3.72]
data/sum.lean                                     [83.9, 2.32, 77.1, 3.83]
data/vector2.lean                                 [5.72, 3.46]
data/zmod.lean                                    [18.4, 19.9]
field_theory/subfield.lean                        [157, 2.8, 130, 5.39]
group_theory/abelianization.lean                  [2.96]
group_theory/coset.lean                           [3.71, 12.5, 5.68]
group_theory/free_abelian_group.lean              [4.49, 2.75]
group_theory/free_group.lean                      [167, 2.85, 136, 3.53]
group_theory/group_action.lean                    [1.15]
group_theory/order_of_element.lean                [18, 9.77]
group_theory/perm.lean                            [86.2, 74.2, 1.19]
group_theory/quotient_group.lean                  [7.17, 6.29]
group_theory/subgroup.lean                        [9.17, 5.03]
group_theory/submonoid.lean                       [31.7, 28.2]
linear_algebra/basic.lean                         [9.15, 6.48]
linear_algebra/default.lean                       [53.1, 37.6, 1.02]
linear_algebra/dimension.lean                     [4.13, 2.19]
linear_algebra/linear_map_module.lean             [1.96, 1.56]
linear_algebra/multivariate_polynomial.lean       []
linear_algebra/prod_module.lean                   [3.21, 1.72]
linear_algebra/quotient_module.lean               []
linear_algebra/submodule.lean                     [3.61, 1.66]
linear_algebra/subtype_module.lean                []
linear_algebra/tensor_product.lean                [67.7, 2.36, 57.3, 2.4]
logic/basic.lean                                  [118, 7.05, 93.7, 8.39]
logic/embedding.lean                              [6.37, 2.9]
logic/function.lean                               [7.47, 4.94]
logic/relation.lean                               [11.9, 1.03, 5.45, 1.41]
logic/relator.lean                                [5.07, 3.18]
logic/schroeder_bernstein.lean                    [2.32, 1.45]
meta/rb_map.lean                                  [38.4, 26.1]
number_theory/dioph.lean                          [178, 3.18, 162, 1.85]
number_theory/pell.lean                           [1.54, 194, 3.21, 162, 4.85, 1.65]
order/basic.lean                                  [1.34]
order/boolean_algebra.lean                        [3.75, 1.82]
order/bounded_lattice.lean                        [29.2, 22.6]
order/bounds.lean                                 [20.3, 15.3]
order/complete_boolean_algebra.lean               [6.08, 3.12]
order/complete_lattice.lean                       [6.36, 4.3]
order/conditionally_complete_lattice.lean         [47.3, 1.04, 37.6, 1.71]
order/default.lean                                [10.3, 5.68]
order/filter.lean                                 [33.6, 19.1]
order/fixed_points.lean                           [30.4, 27.1]
order/galois_connection.lean                      [2.9, 1.68]
order/lattice.lean                                [3.72, 3.33]
order/liminf_limsup.lean                          [1.92, 1.12]
order/order_iso.lean                              [20.3, 14]
order/zorn.lean                                   [56.2, 1.24, 53.3, 1.9]
pending/default.lean                              [52.7, 1.14, 50.8, 2.43]
ring_theory/associated.lean                       [10.1, 8.91]
ring_theory/ideals.lean                           [346, 6.13, 308, 11.2]
ring_theory/localization.lean                     [84.4, 1.61, 68.4, 5.92]
ring_theory/matrix.lean                           [12.9, 6.4]
ring_theory/noetherian.lean                       [8.71, 6.18]
ring_theory/principal_ideal_domain.lean           []
ring_theory/subring.lean                          []
ring_theory/unique_factorization_domain.lean      []
set_theory/cardinal.lean                          []
set_theory/cofinality.lean                        []
set_theory/lists.lean                             []
set_theory/ordinal.lean                           [1.13]
set_theory/ordinal_notation.lean                  []
set_theory/zfc.lean                               []
tactic/abel.lean                                  []
tactic/algebra.lean                               []
tactic/alias.lean                                 []
tactic/auto_cases.lean                            []
tactic/basic.lean                                 []
tactic/cache.lean                                 [1.04]
tactic/chain.lean                                 [2.31, 16.2, 6.6]
tactic/converter/binders.lean                     []
tactic/converter/interactive.lean                 [2.13, 14.5, 7.48]
tactic/converter/old_conv.lean                    []
tactic/default.lean                               []
tactic/explode.lean                               []
tactic/ext.lean                                   []
tactic/find.lean                                  []
tactic/finish.lean                                [13.4, 8.99]
tactic/generalize_proofs.lean                     [24.3, 17.1, 1.78]
tactic/interactive.lean                           []
tactic/linarith.lean                              []
tactic/mk_iff_of_inductive_prop.lean              [2.24]
tactic/norm_num.lean                              []
tactic/pi_instances.lean                          []
tactic/rcases.lean                                [4.1, 10.2]
tactic/replacer.lean                              [3.07]
tactic/restate_axiom.lean                         [1.44, 29]
tactic/rewrite.lean                               [5.48]
tactic/ring.lean                                  [5.85]
tactic/ring2.lean                                 []
tactic/split_ifs.lean                             [5.96]
tactic/subtype_instance.lean                      []
tactic/tauto.lean                                 []
tactic/tidy.lean                                  [17.6]
tactic/wlog.lean                                  []
tests/examples.lean                               [1.19, 1.92, 11.9, 4.5]
tests/finish1.lean                                []
tests/finish2.lean
tests/finish3.lean
tests/linarith.lean
tests/mk_iff_of_inductive.lean
tests/norm_num.lean
tests/replacer.lean
tests/restate_axiom.lean
tests/ring.lean
tests/split_ifs.lean
tests/tactics.lean
tests/tidy.lean