declare const TheoremLikeComponent: (props: any) => import("react/jsx-runtime").JSX.Element;
declare const ProofComponent: () => import("react/jsx-runtime").JSX.Element;
export { TheoremLikeComponent, ProofComponent };
