Computer proof of monotonicity of operations on orthomodular lattices
Keywords: شبکه های ارتودنسی; Orthomodular lattice; Free lattice; Generator; Orthocomplement; Kalmbach embedding; Horizontal sum