monoids given by generators and relations...

    1.68 sec, 1412481024 bytes: Categories
    ./Categories.v:27479-27483: [Qed.] 0.242 secs (0.242u,0.s)
    ./Categories.v:54096-54104: [Defined.] 0.163 secs (0.162u,0.s)
    ./Categories.v:20028-20032: [Qed.] 0.115 secs (0.114u,0.s)
    ./Categories.v:27411-27478: [exact_op~(assoc~_~_~_~_~_~(Cop...] 0.056 secs (0.054u,0.001s)
    ./Categories.v:53905-53933: [apply~Elements.mor_equality.] 0.046 secs (0.045u,0.s)
    ./Categories.v:16936-16959: [End~StandardCategories.] 0.043 secs (0.038u,0.005s)
    ./Categories.v:17876-17884: [Defined.] 0.037 secs (0.037u,0.s)
    ./Categories.v:19940-19959: [apply~mor_equality.] 0.033 secs (0.032u,0.s)
    ./Categories.v:19988-20007: [apply~mor_equality.] 0.026 secs (0.026u,0.s)
    ./Categories.v:19490-19526: [intros~?~?~(c,~x)~(d,~y)~(f,~i...] 0.023 secs (0.023u,0.s)