-
João Paulo Pizani Flor authored
Merged stuff inside ProofSamples, lots of more generalized versions of lemmas to be moved to other modules later
7be8938b
Merged stuff inside ProofSamples, lots of more generalized versions of lemmas to be moved to other modules later