Term: proof

Full identifier: http://www.obs-vlfr.fr/proof

show references