Code owners
Assign users and groups as approvers for specific file changes. Learn more.
gearbox.rel 10.75 KiB
dataconstructor http://mathhub.info/LoViVo/gearbox?gearbox?interlocking
dataconstructor http://mathhub.info/LoViVo/gearbox?gearbox?interlocking_cogwheels
dataconstructor http://mathhub.info/LoViVo/gearbox?gearbox?coaxial
dataconstructor http://mathhub.info/LoViVo/gearbox?gearbox?coaxial_cogwheels
dataconstructor http://mathhub.info/LoViVo/gearbox?gearbox?compute_av
theory http://mathhub.info/LoViVo/gearbox?gearbox
HasMeta http://mathhub.info/LoViVo/gearbox?gearbox http://mathhub.info/MitM/Foundation?Logic
Includes http://mathhub.info/LoViVo/gearbox?gearbox http://mathhub.info/LoViVo/gearbox?cogwheels
Declares http://mathhub.info/LoViVo/gearbox?gearbox http://mathhub.info/LoViVo/gearbox?gearbox?interlocking
constant http://mathhub.info/LoViVo/gearbox?gearbox?interlocking
DependsOn http://mathhub.info/LoViVo/gearbox?gearbox?interlocking?definition http://mathhub.info/MitM/core/arithmetics?RealArithmetics?addition?type
DependsOn http://mathhub.info/LoViVo/gearbox?gearbox?interlocking?definition http://mathhub.info/LoViVo/gearbox?cogwheels?cogwheel?type
DependsOn http://mathhub.info/LoViVo/gearbox?gearbox?interlocking?definition http://mathhub.info/LoViVo/gearbox?temp?dist?type
DependsOn http://mathhub.info/LoViVo/gearbox?gearbox?interlocking?definition http://mathhub.info/MitM/Foundation?Logic?prop?type
DependsOn http://mathhub.info/LoViVo/gearbox?gearbox?interlocking?definition http://mathhub.info/MitM/Foundation?Logic?prop?definition
DependsOn http://mathhub.info/LoViVo/gearbox?gearbox?interlocking?definition http://mathhub.info/MitM/Foundation?RealLiterals?real_lit?type
DependsOn http://mathhub.info/LoViVo/gearbox?gearbox?interlocking?definition http://mathhub.info/LoViVo/gearbox?cogwheels?cogwheel?definition
DependsOn http://mathhub.info/LoViVo/gearbox?gearbox?interlocking?definition http://mathhub.info/MitM/Foundation?Logic?eq?type
Declares http://mathhub.info/LoViVo/gearbox?gearbox http://mathhub.info/LoViVo/gearbox?gearbox?interlocking_cogwheels
constant http://mathhub.info/LoViVo/gearbox?gearbox?interlocking_cogwheels
DependsOn http://mathhub.info/LoViVo/gearbox?gearbox?interlocking_cogwheels?type http://mathhub.info/MitM/Foundation?Logic?implies?type
DependsOn http://mathhub.info/LoViVo/gearbox?gearbox?interlocking_cogwheels?type http://mathhub.info/MitM/Foundation?Logic?prop?type
DependsOn http://mathhub.info/LoViVo/gearbox?gearbox?interlocking_cogwheels?type http://mathhub.info/LoViVo/gearbox?gearbox?interlocking?type
DependsOn http://mathhub.info/LoViVo/gearbox?gearbox?interlocking_cogwheels?type http://mathhub.info/MitM/Foundation?Logic?ded?definition
DependsOn http://mathhub.info/LoViVo/gearbox?gearbox?interlocking_cogwheels?type http://mathhub.info/MitM/Foundation?NatLiterals?nat_lit?type
DependsOn http://mathhub.info/LoViVo/gearbox?gearbox?interlocking_cogwheels?type http://mathhub.info/MitM/Foundation?Logic?neq?type
DependsOn http://mathhub.info/LoViVo/gearbox?gearbox?interlocking_cogwheels?type http://mathhub.info/MitM/core/arithmetics?RealArithmetics?div?type
DependsOn http://mathhub.info/LoViVo/gearbox?gearbox?interlocking_cogwheels?type http://mathhub.info/MitM/Foundation?Logic?eq?type
DependsOn http://mathhub.info/LoViVo/gearbox?gearbox?interlocking_cogwheels?type http://mathhub.info/LoViVo/gearbox?cogwheels?cogwheel?type
DependsOn http://mathhub.info/LoViVo/gearbox?gearbox?interlocking_cogwheels?type http://cds.omdoc.org/urtheories?Bool?BOOL?type
DependsOn http://mathhub.info/LoViVo/gearbox?gearbox?interlocking_cogwheels?type http://mathhub.info/MitM/Foundation?Logic?ded?type
DependsOn http://mathhub.info/LoViVo/gearbox?gearbox?interlocking_cogwheels?type http://mathhub.info/MitM/Foundation?Logic?ImplicitProof?type
DependsOn http://mathhub.info/LoViVo/gearbox?gearbox?interlocking_cogwheels?type http://mathhub.info/MitM/Foundation?Logic?neq?definition
DependsOn http://mathhub.info/LoViVo/gearbox?gearbox?interlocking_cogwheels?type http://mathhub.info/MitM/Foundation?Logic?forall?type
DependsOn http://mathhub.info/LoViVo/gearbox?gearbox?interlocking_cogwheels?type http://mathhub.info/MitM/Foundation?Logic?prop?definition
DependsOn http://mathhub.info/LoViVo/gearbox?gearbox?interlocking_cogwheels?type http://mathhub.info/MitM/Foundation?RealLiterals?minus_real_lit?type
DependsOn http://mathhub.info/LoViVo/gearbox?gearbox?interlocking_cogwheels?type http://cds.omdoc.org/urtheories?NatSymbols?NAT?type
DependsOn http://mathhub.info/LoViVo/gearbox?gearbox?interlocking_cogwheels?type http://mathhub.info/MitM/Foundation?RealLiterals?real_lit?type
Declares http://mathhub.info/LoViVo/gearbox?gearbox http://mathhub.info/LoViVo/gearbox?gearbox?coaxial
constant http://mathhub.info/LoViVo/gearbox?gearbox?coaxial
DependsOn http://mathhub.info/LoViVo/gearbox?gearbox?coaxial?type http://mathhub.info/MitM/Foundation?Logic?prop?type
DependsOn http://mathhub.info/LoViVo/gearbox?gearbox?coaxial?type http://mathhub.info/MitM/Foundation?Logic?prop?definition
DependsOn http://mathhub.info/LoViVo/gearbox?gearbox?coaxial?type http://mathhub.info/LoViVo/gearbox?cogwheels?rotating_cogwheel?type
DependsOn http://mathhub.info/LoViVo/gearbox?gearbox?coaxial?type http://mathhub.info/LoViVo/gearbox?cogwheels?rotating_cogwheel?definition
DependsOn http://mathhub.info/LoViVo/gearbox?gearbox?coaxial?definition http://mathhub.info/MitM/Foundation?Logic?prop?type
DependsOn http://mathhub.info/LoViVo/gearbox?gearbox?coaxial?definition http://mathhub.info/MitM/Foundation?Logic?prop?definition
DependsOn http://mathhub.info/LoViVo/gearbox?gearbox?coaxial?definition http://mathhub.info/MitM/Foundation?RealLiterals?real_lit?type
DependsOn http://mathhub.info/LoViVo/gearbox?gearbox?coaxial?definition http://mathhub.info/MitM/Foundation?Logic?eq?type
DependsOn http://mathhub.info/LoViVo/gearbox?gearbox?coaxial?definition http://mathhub.info/LoViVo/gearbox?cogwheels?rotating_cogwheel?definition
Declares http://mathhub.info/LoViVo/gearbox?gearbox http://mathhub.info/LoViVo/gearbox?gearbox?coaxial_cogwheels
constant http://mathhub.info/LoViVo/gearbox?gearbox?coaxial_cogwheels
DependsOn http://mathhub.info/LoViVo/gearbox?gearbox?coaxial_cogwheels?type http://mathhub.info/LoViVo/gearbox?gearbox?coaxial?type
DependsOn http://mathhub.info/LoViVo/gearbox?gearbox?coaxial_cogwheels?type http://mathhub.info/MitM/Foundation?Logic?implies?type
DependsOn http://mathhub.info/LoViVo/gearbox?gearbox?coaxial_cogwheels?type http://mathhub.info/MitM/Foundation?Logic?forall?type
DependsOn http://mathhub.info/LoViVo/gearbox?gearbox?coaxial_cogwheels?type http://mathhub.info/MitM/Foundation?Logic?ded?type
DependsOn http://mathhub.info/LoViVo/gearbox?gearbox?coaxial_cogwheels?type http://mathhub.info/MitM/Foundation?Logic?prop?type
DependsOn http://mathhub.info/LoViVo/gearbox?gearbox?coaxial_cogwheels?type http://mathhub.info/MitM/Foundation?Logic?prop?definition
DependsOn http://mathhub.info/LoViVo/gearbox?gearbox?coaxial_cogwheels?type http://mathhub.info/MitM/Foundation?Logic?ded?definition
DependsOn http://mathhub.info/LoViVo/gearbox?gearbox?coaxial_cogwheels?type http://mathhub.info/LoViVo/gearbox?cogwheels?rotating_cogwheel?type
DependsOn http://mathhub.info/LoViVo/gearbox?gearbox?coaxial_cogwheels?type http://mathhub.info/MitM/Foundation?RealLiterals?real_lit?type
DependsOn http://mathhub.info/LoViVo/gearbox?gearbox?coaxial_cogwheels?type http://mathhub.info/MitM/Foundation?Logic?eq?type
Declares http://mathhub.info/LoViVo/gearbox?gearbox http://mathhub.info/LoViVo/gearbox?gearbox?compute_av
constant http://mathhub.info/LoViVo/gearbox?gearbox?compute_av
DependsOn http://mathhub.info/LoViVo/gearbox?gearbox?compute_av?type http://mathhub.info/LoViVo/gearbox?cogwheels?cogwheel?type
DependsOn http://mathhub.info/LoViVo/gearbox?gearbox?compute_av?type http://mathhub.info/MitM/Foundation?Logic?ded?type
DependsOn http://mathhub.info/LoViVo/gearbox?gearbox?compute_av?type http://mathhub.info/LoViVo/gearbox?gearbox?interlocking?definition
DependsOn http://mathhub.info/LoViVo/gearbox?gearbox?compute_av?type http://mathhub.info/MitM/Foundation?Logic?prop?type
DependsOn http://mathhub.info/LoViVo/gearbox?gearbox?compute_av?type http://mathhub.info/LoViVo/gearbox?gearbox?interlocking?type
DependsOn http://mathhub.info/LoViVo/gearbox?gearbox?compute_av?type http://mathhub.info/MitM/Foundation?Logic?prop?definition
DependsOn http://mathhub.info/LoViVo/gearbox?gearbox?compute_av?type http://mathhub.info/MitM/Foundation?Logic?ded?definitionDependsOn http://mathhub.info/LoViVo/gearbox?gearbox?compute_av?type http://mathhub.info/LoViVo/gearbox?cogwheels?rotating_cogwheel?type
DependsOn http://mathhub.info/LoViVo/gearbox?gearbox?compute_av?type http://mathhub.info/MitM/Foundation?NatLiterals?nat_lit?type
DependsOn http://mathhub.info/LoViVo/gearbox?gearbox?compute_av?type http://mathhub.info/MitM/Foundation?RealLiterals?real_lit?type
DependsOn http://mathhub.info/LoViVo/gearbox?gearbox?compute_av?type http://mathhub.info/LoViVo/gearbox?cogwheels?cogwheel?definition
DependsOn http://mathhub.info/LoViVo/gearbox?gearbox?compute_av?type http://mathhub.info/LoViVo/gearbox?cogwheels?rotating_cogwheel?definition
DependsOn http://mathhub.info/LoViVo/gearbox?gearbox?compute_av?definition http://mathhub.info/MitM/Foundation?Logic?prop?type
DependsOn http://mathhub.info/LoViVo/gearbox?gearbox?compute_av?definition http://mathhub.info/MitM/Foundation?Logic?ded?definition
DependsOn http://mathhub.info/LoViVo/gearbox?gearbox?compute_av?definition http://mathhub.info/MitM/Foundation?Logic?neq?type
DependsOn http://mathhub.info/LoViVo/gearbox?gearbox?compute_av?definition http://mathhub.info/MitM/core/arithmetics?RealArithmetics?div?type
DependsOn http://mathhub.info/LoViVo/gearbox?gearbox?compute_av?definition http://mathhub.info/LoViVo/gearbox?cogwheels?cogwheel?definition
DependsOn http://mathhub.info/LoViVo/gearbox?gearbox?compute_av?definition http://cds.omdoc.org/urtheories?Bool?BOOL?type
DependsOn http://mathhub.info/LoViVo/gearbox?gearbox?compute_av?definition http://mathhub.info/MitM/Foundation?Logic?ded?type
DependsOn http://mathhub.info/LoViVo/gearbox?gearbox?compute_av?definition http://mathhub.info/MitM/Foundation?Logic?ImplicitProof?type
DependsOn http://mathhub.info/LoViVo/gearbox?gearbox?compute_av?definition http://mathhub.info/MitM/Foundation?Logic?neq?definition
DependsOn http://mathhub.info/LoViVo/gearbox?gearbox?compute_av?definition http://mathhub.info/MitM/core/arithmetics?RealArithmetics?multiplication?type
DependsOn http://mathhub.info/LoViVo/gearbox?gearbox?compute_av?definition http://mathhub.info/MitM/Foundation?RealLiterals?minus_real_lit?type
DependsOn http://mathhub.info/LoViVo/gearbox?gearbox?compute_av?definition http://cds.omdoc.org/urtheories?NatSymbols?NAT?type
DependsOn http://mathhub.info/LoViVo/gearbox?gearbox?compute_av?definition http://mathhub.info/MitM/Foundation?RealLiterals?real_lit?type
DependsOn http://mathhub.info/LoViVo/gearbox?gearbox?compute_av?definition http://mathhub.info/LoViVo/gearbox?cogwheels?rotating_cogwheel?definition