-
Björn Brandenburg authored
Fix a typo and note Pierre Roux's comment on disjuctions vs inductives. See also: RT-PROOFS/rt-proofs#54 (comment 42229)
d5f388f3
Fix a typo and note Pierre Roux's comment on disjuctions vs inductives. See also: RT-PROOFS/rt-proofs#54 (comment 42229)