Commit 2022-04-11 00:55 a85958cf
View on Github →chore(measure_theory/mconstructions/prod): Speed up finite_spanning_sets_in.prod (#13325)
Disable the computability check on measure_theory.measure.finite_spanning_sets_in.prod because it was taking 20s of compilation.