Blame | Last modification | View Log | RSS feed
cleanhyp:Effacer des hypothèses inutiles
contrapose:Contraposer
splitgoal:Montrer un but séparément (quand il y en a plusieurs)