Code owners
Assign users and groups as approvers for specific file changes. Learn more.
gb2.rel 2.01 KiB
dataconstructor http://mathhub.info/LoViVo/gearbox?gb2?c2
dataconstructor http://mathhub.info/LoViVo/gearbox?gb2?c2av
dataconstructor http://mathhub.info/LoViVo/gearbox?gb2?c2avcheat
theory http://mathhub.info/LoViVo/gearbox?gb2
HasMeta http://mathhub.info/LoViVo/gearbox?gb2 http://mathhub.info/MitM/Foundation?Logic
Includes http://mathhub.info/LoViVo/gearbox?gb2 http://mathhub.info/LoViVo/gearbox?gearbox
Includes http://mathhub.info/LoViVo/gearbox?gb2 http://mathhub.info/MitM/Foundation?NaturalDeduction
Declares http://mathhub.info/LoViVo/gearbox?gb2 http://mathhub.info/LoViVo/gearbox?gb2?c2
constant http://mathhub.info/LoViVo/gearbox?gb2?c2
DependsOn http://mathhub.info/LoViVo/gearbox?gb2?c2?type http://mathhub.info/LoViVo/gearbox?cogwheels?cogwheel?type
DependsOn http://mathhub.info/LoViVo/gearbox?gb2?c2?type http://mathhub.info/LoViVo/gearbox?cogwheels?cogwheel?definition
DependsOn http://mathhub.info/LoViVo/gearbox?gb2?c2?definition http://mathhub.info/MitM/Foundation?NatLiterals?nat_lit?type
DependsOn http://mathhub.info/LoViVo/gearbox?gb2?c2?definition http://cds.omdoc.org/urtheories?NatSymbols?NAT?type
DependsOn http://mathhub.info/LoViVo/gearbox?gb2?c2?definition http://mathhub.info/MitM/Foundation?RealLiterals?real_lit?type
DependsOn http://mathhub.info/LoViVo/gearbox?gb2?c2?definition http://mathhub.info/MitM/Foundation?NatLiterals?pos_lit?type
DependsOn http://mathhub.info/LoViVo/gearbox?gb2?c2?definition http://mathhub.info/LoViVo/gearbox?cogwheels?cogwheel?definition
Declares http://mathhub.info/LoViVo/gearbox?gb2 http://mathhub.info/LoViVo/gearbox?gb2?c2av
constant http://mathhub.info/LoViVo/gearbox?gb2?c2av
DependsOn http://mathhub.info/LoViVo/gearbox?gb2?c2av?type http://mathhub.info/MitM/Foundation?RealLiterals?real_lit?type
Declares http://mathhub.info/LoViVo/gearbox?gb2 http://mathhub.info/LoViVo/gearbox?gb2?c2avcheat
constant http://mathhub.info/LoViVo/gearbox?gb2?c2avcheat
DependsOn http://mathhub.info/LoViVo/gearbox?gb2?c2avcheat?type http://mathhub.info/MitM/Foundation?RealLiterals?real_lit?type