OAI/Analysis/Cotype/Target.lean
2 declarations, 0 contain sorry, 0 declared as axioms
- def
OAI.Cotype.FixedCotypeBoundline 12 - def
OAI.Cotype.ForwardTargetline 16
OAI/Analysis/Cotype/Target.lean2 declarations, 0 contain sorry, 0 declared as axioms
OAI.Cotype.FixedCotypeBound line 12OAI.Cotype.ForwardTarget line 16