IX_ Rigorous Mathematical Formalization of the Unified TheoremCBDRAGRES | Synapse