(* heavy checks slow down the compilation process but give you some interesting
* infos like if the theorem is a duplicate *)
(* heavy checks slow down the compilation process but give you some interesting
* infos like if the theorem is a duplicate *)